{"id":"W2091429712","doi":"10.1007/s00012-011-0104-9","title":"A new look at the Jordan-Hölder theorem for semimodular lattices","year":2010,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Congruence (geometry); Prime (order theory); Combinatorics; Lattice (music); Interval (graph theory); Geometry; Physics","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.0002100145,0.0001949673,0.0001612993,0.00006435625,0.000387053,0.0001291144,0.001423362,0.00009793995,0.0002755528],"category_scores_gemma":[0.00006707998,0.0001334745,0.0001423045,0.0003125568,0.0001409206,0.0006719431,0.0003972935,0.0002176228,0.0001075656],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003471249,"about_ca_system_score_gemma":0.0001003288,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006048347,"about_ca_topic_score_gemma":0.0002999814,"domain_scores_codex":[0.9987409,0.00004381344,0.0001456702,0.0004579397,0.0002137566,0.0003979055],"domain_scores_gemma":[0.9983319,0.0003881193,0.0001079326,0.0009367702,0.00007812397,0.0001571465],"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.00001239023,0.00001575958,0.0001093128,0.000004993023,0.00003159096,0.00001101487,0.0009835738,0.00002982065,0.003646057,0.9656039,0.01114303,0.0184086],"study_design_scores_gemma":[0.001169199,0.0001365716,0.0004839136,0.0000128738,0.0000531999,0.00004821004,0.000248524,0.005198475,0.01470606,0.4738582,0.5035822,0.000502614],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1700132,0.000391619,0.8029694,0.01300375,0.001423086,0.000718189,0.00001468376,0.0004349133,0.01103117],"genre_scores_gemma":[0.8905541,0.00002878121,0.08263516,0.003025165,0.0005286387,0.00001965386,0.00001740013,0.0000438013,0.02314731],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7205409,"threshold_uncertainty_score":0.5442932,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008923169779203205,"score_gpt":0.2280015782004117,"score_spread":0.2190784084212085,"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."}}