{"id":"W2044598156","doi":"10.1007/s00012-003-1832-2","title":"Yet another single law for lattices","year":2003,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Algebra over a field; Law; Calculus (dental); Pure mathematics; Arithmetic; Political science","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.00009853338,0.0001279147,0.000128746,0.00005406786,0.0001521056,0.0000838842,0.0004779786,0.00005794688,0.00006876755],"category_scores_gemma":[0.00003783892,0.0001196046,0.0000748633,0.0002446069,0.00007264943,0.0007418586,0.00005086434,0.0000543709,0.00004641962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003718719,"about_ca_system_score_gemma":0.00002786742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001971653,"about_ca_topic_score_gemma":0.00003986677,"domain_scores_codex":[0.9991125,0.0000453423,0.0001074078,0.0003232304,0.0001161711,0.000295288],"domain_scores_gemma":[0.999248,0.0001703908,0.00006431949,0.0003965504,0.00005674111,0.0000639616],"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.00000297216,0.0000423518,0.00002470856,0.00000482108,0.00001327638,0.000007549983,0.0002794906,0.00002143285,0.001154989,0.9956911,0.001208988,0.001548282],"study_design_scores_gemma":[0.000853493,0.0002177525,0.00003584263,0.00001307543,0.00001717848,0.0000126569,0.0001653653,0.0004891306,0.03130922,0.3551776,0.6113425,0.0003661217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01398433,0.0003075622,0.8639875,0.001044431,0.0006415798,0.000328411,0.00001013167,0.0004247393,0.1192713],"genre_scores_gemma":[0.9074146,0.000005724453,0.08725565,0.002741394,0.00003861126,0.00000765086,0.000004439565,0.00002028054,0.002511616],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8934303,"threshold_uncertainty_score":0.4877333,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02320994206307943,"score_gpt":0.2301023747392464,"score_spread":0.206892432676167,"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."}}