{"id":"W1974090329","doi":"10.2168/lmcs-7(1:1)2011","title":"Algebraic Notions of Termination","year":2011,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft","keywords":"Idempotence; Kleene algebra; Divergence (linguistics); Rewriting; Algebraic number; Algebra over a field; Modal","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005512386,0.001028575,0.001103135,0.003814755,0.002466501,0.008566645,0.001584018,0.001739985,0.005182141],"category_scores_gemma":[0.01576012,0.0005674097,0.001555206,0.002769823,0.01168339,0.01522299,0.00520634,0.004753275,0.001155052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002941266,"about_ca_system_score_gemma":0.00213964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006909746,"about_ca_topic_score_gemma":0.0004694719,"domain_scores_codex":[0.9920921,0.001893276,0.0009887092,0.001143252,0.003114732,0.000767827],"domain_scores_gemma":[0.9892063,0.004897264,0.001463712,0.001746797,0.002101154,0.000584863],"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.00001186385,0.000009249769,0.000169482,0.00004150491,0.000004175628,0.00003464464,0.0002269479,0.0004978701,0.0003131621,0.9952336,0.0002493631,0.003208135],"study_design_scores_gemma":[0.000009713687,0.00003320663,0.000218881,0.00006420408,0.0000163663,0.0002785424,0.0002538533,0.004886271,0.0006270391,0.9788984,0.01469482,0.00001866408],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06975424,0.005266281,0.7213572,0.003205071,0.0008056945,0.0002785617,0.0004540043,0.0005615581,0.1983174],"genre_scores_gemma":[0.821461,0.003361692,0.1557363,0.0007030517,0.001067243,0.0005009637,0.0006321892,0.0002461709,0.01629141],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008566645,"threshold_uncertainty_score":0.02915263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1249770218027673,"score_gpt":0.3774357172780239,"score_spread":0.2524586954752567,"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."}}