{"id":"W1981314990","doi":"10.1016/s0304-3975(00)00197-3","title":"Loop checks for logic programs with functions","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"National Natural Science Foundation of China","keywords":"Key (lock); Computer science; Loop (graph theory); Series (stratigraphy); Arithmetic; Algorithm; Theoretical computer science; Programming language; Mathematics; Operating system; Combinatorics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001172057,0.0002109985,0.0002228782,0.0001286528,0.0006044469,0.0007685015,0.00192537,0.0000638299,0.00001713519],"category_scores_gemma":[0.00003832387,0.0001371038,0.00008087743,0.001427596,0.002039012,0.0005573349,0.000403826,0.0001440644,0.0001020508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005136314,"about_ca_system_score_gemma":0.0001397705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006313338,"about_ca_topic_score_gemma":0.00000319374,"domain_scores_codex":[0.9974971,0.000053006,0.0002401259,0.0008362631,0.0005708023,0.0008026571],"domain_scores_gemma":[0.998338,0.0001201984,0.00008180598,0.0008206447,0.0003383323,0.0003009812],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001351912,0.0001080167,0.0003178394,0.000007773543,0.000005576967,0.00001251638,0.0001631652,0.00003656428,0.00003386481,0.8973401,0.00004828267,0.1019128],"study_design_scores_gemma":[0.001007632,0.003200637,0.0005526091,0.0000185746,0.00002055801,0.0005198529,0.00003675379,0.4089025,0.0004876918,0.5671996,0.01736208,0.0006915183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003818122,0.0000343332,0.986904,0.0008089422,0.0006710014,0.0006070923,2.777077e-7,0.0004522932,0.006703952],"genre_scores_gemma":[0.8887033,0.000001966131,0.1104389,0.0003484274,0.0002170245,0.0000810804,0.000001925243,0.000009195976,0.000198161],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8848852,"threshold_uncertainty_score":0.7512824,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02660603959499687,"score_gpt":0.2576197429817685,"score_spread":0.2310137033867717,"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."}}