{"id":"W1543636397","doi":"10.3233/fi-2018-1627","title":"Anatomy of the Chase","year":2018,"lang":"en","type":"preprint","venue":"Fundamenta Informaticae","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Chase; Undecidable problem; Computer science; Completeness (order theory); Set (abstract data type); Theoretical computer science; Algorithm; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006583082,0.0009476385,0.001247632,0.003805107,0.005543231,0.007756538,0.003142322,0.004654014,0.0220387],"category_scores_gemma":[0.0267865,0.001441889,0.002824573,0.00329205,0.01505859,0.01937492,0.0087899,0.009484011,0.006774251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004017942,"about_ca_system_score_gemma":0.003923435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004044889,"about_ca_topic_score_gemma":0.002380256,"domain_scores_codex":[0.9919606,0.002602515,0.0006632608,0.001934071,0.001965877,0.0008736193],"domain_scores_gemma":[0.9811496,0.01122356,0.0008672617,0.003357029,0.002692556,0.0007099882],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002003108,0.00001082861,0.0001576807,0.00004890881,0.000007719687,0.00007765878,0.0003269351,0.0006710801,0.0002553276,0.990169,0.001576436,0.006678352],"study_design_scores_gemma":[0.00002001506,0.00003495629,0.0001323868,0.0000769176,0.00001528654,0.0002436725,0.0001237513,0.00625305,0.0007016356,0.9498845,0.04248729,0.00002652521],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01518965,0.003036167,0.8004274,0.007173879,0.0005421726,0.0003521504,0.0004220995,0.001199123,0.1716573],"genre_scores_gemma":[0.4939071,0.005845027,0.4040586,0.00419244,0.001228238,0.001580368,0.001628875,0.002204211,0.08535513],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0220387,"threshold_uncertainty_score":0.07372677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01856706466773396,"score_gpt":0.2900648519673199,"score_spread":0.271497787299586,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}