{"id":"W1988444556","doi":"10.1007/s10998-014-0035-2","title":"An extension theorem for planar semimodular lattices","year":2014,"lang":"en","type":"article","venue":"Periodica Mathematica Hungarica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Congruence relation; Distributive lattice; Extension (predicate logic); Distributive property; Lattice (music); Planar; Congruence lattice problem; Congruence (geometry); Combinatorics; Map of lattices; Pure mathematics; Geometry; Reciprocal lattice","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.0006645162,0.0002357485,0.0003614673,0.0000896569,0.0004397331,0.0002758954,0.001198498,0.00009821924,0.0000459406],"category_scores_gemma":[0.0003300623,0.0001808988,0.0001161693,0.0001962541,0.0001252849,0.0005051827,0.0001010202,0.0001310164,0.0001142613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001976166,"about_ca_system_score_gemma":0.00003136992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001413712,"about_ca_topic_score_gemma":0.000001083759,"domain_scores_codex":[0.9981806,0.0001081583,0.0003299071,0.0006235187,0.0003103695,0.0004474738],"domain_scores_gemma":[0.9978228,0.0004758668,0.0001615994,0.001241822,0.00009036289,0.0002075126],"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.00001135527,0.0002015583,0.00002578921,0.00009601864,0.00001581485,0.000003845151,0.001941336,0.00003688369,0.006142314,0.9681819,0.0004967925,0.02284639],"study_design_scores_gemma":[0.0004000075,0.000451076,0.0003879755,0.00004838893,0.00002694327,0.00003516408,0.0001101819,0.3113603,0.001542868,0.6652941,0.01993293,0.0004100337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01538219,0.0000797853,0.9783992,0.001147858,0.0001314024,0.0003546079,0.000003403597,0.0004362419,0.004065325],"genre_scores_gemma":[0.6362464,0.000006333868,0.3627946,0.0006341877,0.0001097595,0.00006658187,0.000005942119,0.00002040364,0.0001157411],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6208642,"threshold_uncertainty_score":0.737684,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01760746536143674,"score_gpt":0.2662749572640887,"score_spread":0.248667491902652,"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."}}