{"id":"W104865677","doi":"","title":"Toward Solving Equations in Kleene Algebras","year":2007,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Idempotence; Kleene algebra; Semiring; Mathematics; Sign (mathematics); Algebra over a field; Algebraic number; Identity (music); Algebraic equation; Kleene's recursion theorem; Resolution (logic); Applied mathematics; Zero (linguistics); Pure mathematics; Nonlinear system; Discrete mathematics; Computer science; Mathematical analysis","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.004549699,0.0002395454,0.0004259377,0.0006520587,0.00007857715,0.0002188692,0.0006923553,0.0002774162,0.00001486487],"category_scores_gemma":[0.002823667,0.0002066286,0.0000767341,0.001114406,0.00008286702,0.0005662009,0.0004095664,0.0003426053,0.000002188221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001166249,"about_ca_system_score_gemma":0.00008932389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009520613,"about_ca_topic_score_gemma":0.000599793,"domain_scores_codex":[0.9977015,0.0003220804,0.0005611833,0.0005814765,0.0002297558,0.0006040512],"domain_scores_gemma":[0.997028,0.002138475,0.00015713,0.0004910153,0.00004667896,0.0001387258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006483896,0.00002401671,0.007223598,0.00001368588,0.000005257918,0.00004589652,0.0006642728,0.000001448786,0.0001338435,0.1326069,0.0003648562,0.8589098],"study_design_scores_gemma":[0.0007920139,0.000528145,0.04952938,0.00006995405,0.00001420244,0.0000765786,0.000268528,0.0001693641,0.02086776,0.8877377,0.03901406,0.0009323162],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005182601,0.001365663,0.9936635,0.000448273,0.0002413051,0.0001929043,0.00000133953,0.001165791,0.002402936],"genre_scores_gemma":[0.1762299,0.000111096,0.8230358,0.0001884782,0.00008705186,0.0000370073,0.000007772124,0.00001287307,0.0002900643],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8579774,"threshold_uncertainty_score":0.8426068,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2150909377911314,"score_gpt":0.3822149273770571,"score_spread":0.1671239895859257,"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."}}