{"id":"W2134747543","doi":"10.1007/1-4020-8141-3_49","title":"Termination in Modal Kleene Algebra","year":2006,"lang":"en","type":"book-chapter","venue":"Kluwer Academic Publishers eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"Deutsche Forschungsgemeinschaft","keywords":"Kleene algebra; Lemma (botany); Modal; Mathematical proof; Rewriting; Kleene's recursion theorem; Mathematics; Algebra over a field; Pure mathematics; Calculus (dental); Discrete mathematics; Computer science; 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":["metaepi_narrow","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.0009907432,0.0006286819,0.0006629929,0.0008466798,0.0001097629,0.0008607116,0.002512914,0.001783949,0.00004180875],"category_scores_gemma":[0.0000460309,0.0006095958,0.0002401838,0.00009831797,0.0001697815,0.001574136,0.0005819009,0.002103275,0.0001510115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004035773,"about_ca_system_score_gemma":0.0003148176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002098552,"about_ca_topic_score_gemma":0.00004639682,"domain_scores_codex":[0.9960836,0.00007127855,0.0009888036,0.001179151,0.0009138094,0.0007633304],"domain_scores_gemma":[0.9980068,0.00008965677,0.0005878966,0.000942438,0.0001640819,0.0002091742],"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.000004808601,0.0000127519,0.0001279799,0.00005716227,0.00003425541,0.0000936041,0.0004158975,0.000007111658,0.00003214955,0.8396488,0.07570903,0.0838564],"study_design_scores_gemma":[0.0004760658,0.00004779435,0.0001375272,0.00004657182,0.00001789314,0.0000483722,0.000007589748,0.0007250368,0.00004542495,0.3775036,0.6202704,0.0006736726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0000397343,0.0005881074,0.02040041,0.0003848207,0.001699372,0.0007199689,0.000003553204,0.000472621,0.9756914],"genre_scores_gemma":[0.1535337,0.000007160077,0.0004852441,0.0004632039,0.000836772,0.00008481042,0.00007018985,0.00008915072,0.8444298],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5445614,"threshold_uncertainty_score":0.9996355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01999879472156434,"score_gpt":0.2345624988464333,"score_spread":0.214563704124869,"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."}}