{"id":"W2056035406","doi":"10.1142/s1005386710000052","title":"Minimal Characteristic Algebras for Leftmost k-Normal Identities","year":2010,"lang":"en","type":"article","venue":"Algebra Colloquium","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Mathematics; Normality; Property (philosophy); Pure mathematics; Variety (cybernetics); Quadratic algebra; Type (biology); Construct (python library); Algebra over a field; Algebra representation; Division algebra; Combinatorics; Computer science; Statistics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006647897,0.0002350605,0.000393076,0.0006811724,0.001388789,0.001909866,0.0007412816,0.0003619317,0.004296429],"category_scores_gemma":[0.001471165,0.0002266288,0.0007971309,0.0005752085,0.001900313,0.004281893,0.001433162,0.001235493,0.0007100154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00126859,"about_ca_system_score_gemma":0.0009876729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006931168,"about_ca_topic_score_gemma":0.000779489,"domain_scores_codex":[0.9993175,0.00008786423,0.00003632386,0.0001350048,0.0002620473,0.0001611486],"domain_scores_gemma":[0.9991878,0.0001838141,0.000155856,0.0001080054,0.0001841092,0.0001805145],"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.00003949938,0.00002143955,0.0005633624,0.00002749461,0.000007399819,0.0001423915,0.0002594496,0.0007036644,0.003235544,0.990359,0.0006362724,0.004004456],"study_design_scores_gemma":[0.00002373093,0.00003266989,0.0006399776,0.00001265644,0.00001423732,0.0003249304,0.0001544784,0.004935566,0.007252049,0.9814153,0.005168275,0.00002629429],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6417446,0.0004928539,0.2560353,0.0006621703,0.0001552329,0.0001285593,0.0004223882,0.000618504,0.09974044],"genre_scores_gemma":[0.9659628,0.0001541388,0.02286397,0.0000891616,0.00006190355,0.000067026,0.0002238233,0.00005149609,0.01052573],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004296429,"threshold_uncertainty_score":0.01437294,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00893717581072361,"score_gpt":0.2391103771213598,"score_spread":0.2301732013106362,"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."}}