{"id":"W2625168394","doi":"","title":"Induction for innermost and outermost ground termination","year":2001,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Term (time); Extension (predicate logic); Abstraction; Satisfiability; Normalization property; A priori and a posteriori; Property (philosophy); Conservative extension; Mathematics; Algebra over a field; Pure mathematics; Computer science; Discrete mathematics; Physics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002397502,0.0001348965,0.0001406622,0.0001130175,0.0003781063,0.0005087754,0.0005579935,0.00009597444,0.000008247251],"category_scores_gemma":[0.0003570443,0.0001309506,0.00005296226,0.0003519182,0.00009246889,0.0005281069,0.0002177784,0.0001011137,0.00001347666],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004575161,"about_ca_system_score_gemma":0.00004636424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003379388,"about_ca_topic_score_gemma":0.0003776898,"domain_scores_codex":[0.9981217,0.0007817011,0.000250651,0.0004243604,0.0001876636,0.0002338694],"domain_scores_gemma":[0.9978251,0.0003987381,0.0001919311,0.0007216021,0.0007657357,0.00009685384],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003253257,0.0001177,0.001474533,0.00002591177,0.00001084432,0.000002128882,0.004648616,7.820539e-7,0.001624221,0.5825396,0.000227261,0.4093252],"study_design_scores_gemma":[0.00460288,0.00001384556,0.0940264,0.0003609755,0.00007755841,0.0006226603,0.0009551171,0.1450185,0.04719839,0.1748327,0.5303779,0.001912997],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05797606,0.0002313028,0.9220194,0.004804507,0.0002679561,0.0003693136,0.000001682843,0.0002053535,0.01412442],"genre_scores_gemma":[0.9740073,0.00008621329,0.0209689,0.00008406347,0.0000352568,0.00005893858,0.00004272565,0.00001216187,0.004704426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9160312,"threshold_uncertainty_score":0.5340011,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02050243203437506,"score_gpt":0.2365792172537669,"score_spread":0.2160767852193918,"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."}}