{"id":"W2736624820","doi":"","title":"Outermost ground termination - Extended version","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":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Abstraction; A priori and a posteriori; Set (abstract data type); Computer science; Term (time); Process (computing); Programming language; Algorithm; Theoretical computer science; Physics","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.001913034,0.001421748,0.001377875,0.001037962,0.001105702,0.003518013,0.001717264,0.001160368,0.05283657],"category_scores_gemma":[0.004344589,0.0007621017,0.001679035,0.001334705,0.001655556,0.007073477,0.00395742,0.005138402,0.01877635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001602121,"about_ca_system_score_gemma":0.001024978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00159476,"about_ca_topic_score_gemma":0.001603887,"domain_scores_codex":[0.9981685,0.0002999831,0.00013932,0.0004866361,0.0005906486,0.0003149225],"domain_scores_gemma":[0.9971692,0.0008812633,0.0001004763,0.0008555825,0.0008419654,0.0001515709],"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.0008952965,0.0003376179,0.001284133,0.001602996,0.0001853081,0.001296577,0.001639394,0.006958642,0.01934962,0.5881729,0.2062365,0.172041],"study_design_scores_gemma":[0.0002024904,0.0001423206,0.001319204,0.000201781,0.0001555909,0.0007283437,0.0001792165,0.01041575,0.01118761,0.7144509,0.2609242,0.00009255693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02936007,0.004549017,0.6034786,0.007686381,0.009321963,0.0003803172,0.00753619,0.01361363,0.3240739],"genre_scores_gemma":[0.4289146,0.004188507,0.1929821,0.004945006,0.005164407,0.0006543208,0.02182333,0.01341955,0.3279082],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05283657,"threshold_uncertainty_score":0.1767559,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01767621585781621,"score_gpt":0.2198436285451337,"score_spread":0.2021674126873175,"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."}}