{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003378814,0.0001251268,0.0002368894,0.0003079418,0.0001107448,0.00008878129,0.001992403,0.00007391456,0.00001534155],"category_scores_gemma":[0.0002030908,0.00009337987,0.00006590293,0.001792028,0.0004977733,0.0005982172,0.0006663791,0.0001443584,0.0000149851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004004936,"about_ca_system_score_gemma":0.00007828458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004772589,"about_ca_topic_score_gemma":0.00000361556,"domain_scores_codex":[0.9979486,0.0003445459,0.0004058451,0.0005791071,0.0003592679,0.0003626265],"domain_scores_gemma":[0.9987015,0.0002532979,0.0001617804,0.000621758,0.0001522253,0.0001094776],"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":[9.834288e-7,0.0001139895,0.001153248,0.000007496112,0.000001264429,0.000008289569,0.0009724537,0.00001879071,0.001187549,0.540207,0.000003903627,0.456325],"study_design_scores_gemma":[0.0002970685,0.000521743,0.1167521,0.00001376729,0.000003500753,0.00005703696,0.00001623066,0.2108845,0.02158941,0.6491762,0.0003595901,0.0003288568],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003069485,0.00003490069,0.9908699,0.00005331736,0.001058017,0.0001695795,1.178518e-7,0.00009826876,0.004646419],"genre_scores_gemma":[0.47915,0.000001324328,0.5207399,0.00006453307,0.00002494463,0.000007720833,8.593611e-8,0.000001547395,0.000009956841],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4760805,"threshold_uncertainty_score":0.380792,"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."}}