{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002442561,0.0005327422,0.001049097,0.001644893,0.002331293,0.005285491,0.001454248,0.001538048,0.01079074],"category_scores_gemma":[0.004929274,0.0004730814,0.001049005,0.002043094,0.007041046,0.02546819,0.003291263,0.005051556,0.001142441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001578981,"about_ca_system_score_gemma":0.0007245382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009634382,"about_ca_topic_score_gemma":0.001069696,"domain_scores_codex":[0.9990022,0.0003115322,0.00004918706,0.0001840755,0.0003325646,0.0001204941],"domain_scores_gemma":[0.9981431,0.0009201819,0.0001368908,0.0003099077,0.000314885,0.0001752111],"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.000006154172,0.00000468618,0.00003359774,0.00001105021,0.000002018958,0.00001286721,0.00005843623,0.0001161293,0.0001168149,0.996689,0.0009916076,0.001957788],"study_design_scores_gemma":[0.000002803703,0.000003837632,0.00002343908,0.000004509815,0.000001446178,0.00002212817,0.0000287177,0.0006593544,0.00009568678,0.9950488,0.004104753,0.000004388673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08217056,0.01318107,0.5823416,0.03469335,0.002294865,0.00004352287,0.0005373878,0.0006620373,0.2840756],"genre_scores_gemma":[0.7964098,0.007555516,0.1091917,0.007316011,0.006864041,0.00007586722,0.0004238408,0.0005540477,0.07160925],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01079074,"threshold_uncertainty_score":0.0360986,"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."}}