{"id":"W2727889954","doi":"","title":"CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Abstraction; Computer science; Satisfiability; Simple (philosophy); Constraint (computer-aided design); Theoretical computer science; Process (computing); Solver; Programming language; Constraint programming; Algorithm; Mathematics; Mathematical optimization","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.002956913,0.001152241,0.001166343,0.002307787,0.0008408321,0.002663688,0.002814556,0.0009317088,0.007705266],"category_scores_gemma":[0.007604232,0.001129121,0.001821286,0.001171059,0.00234569,0.003780805,0.004025775,0.002816463,0.002995212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00112243,"about_ca_system_score_gemma":0.002433654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001647352,"about_ca_topic_score_gemma":0.001283305,"domain_scores_codex":[0.9969926,0.0006267516,0.0002350758,0.0004394936,0.001406237,0.0002998779],"domain_scores_gemma":[0.9959894,0.002552972,0.0002317054,0.000474867,0.0006018562,0.0001491488],"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.0004656826,0.0002627015,0.001391724,0.001065044,0.0001345189,0.001010022,0.0009397282,0.02499721,0.03141239,0.5535102,0.02573246,0.3590782],"study_design_scores_gemma":[0.0003345788,0.0002731952,0.000595045,0.0003150707,0.0002090807,0.001154543,0.0001073208,0.2491504,0.06828444,0.574734,0.1046606,0.0001817189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001597501,0.00009707737,0.9885301,0.0000973894,0.00004933897,0.00008435773,0.000112376,0.006872335,0.002559555],"genre_scores_gemma":[0.09350741,0.0003590028,0.8953878,0.0003378644,0.0001003952,0.0004075904,0.0006922534,0.002066391,0.007141186],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007705266,"threshold_uncertainty_score":0.02577668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0430919674253948,"score_gpt":0.2720293719307241,"score_spread":0.2289374045053293,"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."}}