{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00501979,0.0008398955,0.001193222,0.00261959,0.002134758,0.004708426,0.002467127,0.002156324,0.006286645],"category_scores_gemma":[0.03610743,0.0008364266,0.001790826,0.001948858,0.004478647,0.009678499,0.002999235,0.002703128,0.0008668515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002201217,"about_ca_system_score_gemma":0.001890787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001744777,"about_ca_topic_score_gemma":0.002016978,"domain_scores_codex":[0.995598,0.001302011,0.0003251542,0.000706389,0.001310214,0.0007582883],"domain_scores_gemma":[0.9587892,0.03200139,0.002561685,0.003604258,0.002333607,0.0007097615],"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.002684918,0.0003578584,0.01211309,0.0008971515,0.0002081747,0.0006776895,0.001296986,0.02249121,0.01111466,0.7756727,0.01659073,0.1558949],"study_design_scores_gemma":[0.0001640247,0.0001226258,0.001045627,0.0001200933,0.0001781905,0.0002349001,0.0001611943,0.07027747,0.01524083,0.9070848,0.005275221,0.00009508667],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2535481,0.00109517,0.7159139,0.001729632,0.0003510595,0.0002886814,0.001038157,0.01193722,0.01409817],"genre_scores_gemma":[0.8988279,0.0003062157,0.09202756,0.0004852561,0.0002546798,0.0001165068,0.0007242078,0.000912923,0.0063448],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006286645,"threshold_uncertainty_score":0.02654749,"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."}}