{"id":"W2068047345","doi":"10.1145/1183278.1183285","title":"Kleene algebra with domain","year":2006,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":173,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Kleene algebra; Kleene's recursion theorem; Axiom; Algebra over a field; Term algebra; Domain (mathematical analysis); Extension (predicate logic); Mathematics; Propositional calculus; Simple (philosophy); Equational logic; Process calculus; Two-element Boolean algebra; Computer science; Programming language; Pure mathematics; Algebra representation; Discrete mathematics; Rewriting","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":[],"consensus_categories":[],"category_scores_codex":[0.0001536714,0.0001731913,0.0001554478,0.0001423873,0.0003047281,0.0001555097,0.0006100812,0.00006540378,0.00004615456],"category_scores_gemma":[0.00000358026,0.0001334551,0.00007937898,0.0004754264,0.0000700004,0.000251021,0.00001049579,0.0001475896,0.0002291849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005443747,"about_ca_system_score_gemma":0.00007463914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009270226,"about_ca_topic_score_gemma":0.00004688706,"domain_scores_codex":[0.9986343,0.0000723826,0.0002291832,0.0004018635,0.0004060007,0.00025625],"domain_scores_gemma":[0.9991013,0.00020628,0.00008245512,0.0004284436,0.0001161033,0.00006540705],"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.00001522283,0.0002771095,0.0001412129,0.000009263604,0.00003238414,0.00003528607,0.00008880124,0.1331554,0.00001959479,0.8507817,0.000201692,0.01524228],"study_design_scores_gemma":[0.0007149432,0.0003820632,0.004256314,0.000004421207,0.00001039745,0.0001393407,0.00002497928,0.009138945,0.0001391284,0.980692,0.004216864,0.0002805671],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002371987,0.00005190804,0.9915575,0.001696796,0.0002329901,0.00020392,0.000002569906,0.0003325564,0.003549712],"genre_scores_gemma":[0.8196185,0.000001024447,0.1795568,0.0003516888,0.00006317463,0.00003751463,0.00001593935,0.000009168408,0.0003461479],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8172466,"threshold_uncertainty_score":0.544214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01697811803986092,"score_gpt":0.2344277660564453,"score_spread":0.2174496480165843,"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."}}