{"id":"W157860245","doi":"","title":"CARIBOO: An Induction Based Proof Tool for Termination with Strategies","year":2002,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Abstraction; Computer science; Satisfiability; Simple (philosophy); Theoretical computer science; Constraint (computer-aided design); Solver; Process (computing); Programming language; Normalization property; Algorithm; Mathematics","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.002541308,0.0009346095,0.001131343,0.001530875,0.0009392675,0.002744624,0.002948605,0.001216894,0.01367078],"category_scores_gemma":[0.008008985,0.001247231,0.001462111,0.001042478,0.002145064,0.005040201,0.003901577,0.00341445,0.004969754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009547599,"about_ca_system_score_gemma":0.002434823,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001416937,"about_ca_topic_score_gemma":0.001999321,"domain_scores_codex":[0.9975765,0.000687621,0.0002040692,0.0003047287,0.0009983402,0.0002286997],"domain_scores_gemma":[0.9930756,0.005345597,0.0002001661,0.0006512242,0.0005380996,0.0001893772],"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.0004834635,0.0002656884,0.001045679,0.001168131,0.0001345474,0.0008164647,0.001101207,0.01339155,0.02569252,0.5221636,0.04870715,0.3850299],"study_design_scores_gemma":[0.0003917234,0.0001965707,0.0005416724,0.0003959617,0.0002146926,0.001046793,0.0002222275,0.130866,0.06203861,0.6153288,0.1885877,0.0001692867],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001565856,0.0001783465,0.9830614,0.000193411,0.0001123147,0.00006324914,0.0002102344,0.0108239,0.003791336],"genre_scores_gemma":[0.1237042,0.001065142,0.8483591,0.000627463,0.0002033371,0.0005281608,0.001374574,0.006189496,0.01794843],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01367078,"threshold_uncertainty_score":0.04573327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02258551026514431,"score_gpt":0.230071555169519,"score_spread":0.2074860449043747,"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."}}