{"id":"W2613440290","doi":"","title":"Proving weak termination also provides the right way to terminate","year":2003,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Term (time); Confluence; Abstraction; Mathematics; Property (philosophy); Tree (set theory); Discrete mathematics; Computer science; Calculus (dental); Programming language; Combinatorics; 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.01881773,0.002635044,0.003290631,0.002433201,0.004205607,0.009531264,0.003972602,0.005003816,0.01461144],"category_scores_gemma":[0.1021595,0.002278771,0.006177248,0.002027846,0.01192953,0.02618741,0.01738129,0.01410554,0.01040458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001713295,"about_ca_system_score_gemma":0.003597328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001211822,"about_ca_topic_score_gemma":0.001302961,"domain_scores_codex":[0.9689913,0.0124998,0.003381129,0.004483358,0.008015774,0.002628625],"domain_scores_gemma":[0.8986005,0.06413987,0.002894823,0.02088044,0.01166787,0.001816524],"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.0005894906,0.0002907926,0.00340882,0.00185439,0.0002437525,0.0008396801,0.002215177,0.009182099,0.01136133,0.8360438,0.01843213,0.1155386],"study_design_scores_gemma":[0.0000909671,0.0001502866,0.0002650422,0.0002809556,0.0001702282,0.0003612641,0.0002736142,0.02182481,0.01228828,0.9344336,0.0297884,0.00007255394],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006689866,0.0003990001,0.9736466,0.00478926,0.0007870799,0.0001658607,0.0002561,0.002425207,0.01084105],"genre_scores_gemma":[0.2641091,0.001564402,0.7058414,0.003916754,0.001554202,0.000698518,0.001582161,0.00434657,0.01638691],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01881773,"threshold_uncertainty_score":0.09951884,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01115416086925362,"score_gpt":0.2233840341719437,"score_spread":0.2122298733026901,"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."}}