{"id":"W4316037523","doi":"10.7151/dmgaa.1410","title":"Using the Swing Lemma and <b><i>C</i><sub>1</sub></b>-diagrams for congruences of planar semimodular lattices","year":2023,"lang":"en","type":"article","venue":"Discussiones Mathematicae - General Algebra and Applications","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Congruence relation; Mathematics; Lemma (botany); Combinatorics; Planar; Swing; Pure mathematics; Computer science; 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.0006655697,0.0003187198,0.0002825403,0.001545973,0.001195227,0.002799642,0.0004129429,0.0004895306,0.007853362],"category_scores_gemma":[0.001632864,0.0002890354,0.0006762243,0.0008902025,0.00217346,0.004375994,0.001997647,0.001481706,0.001510025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007688737,"about_ca_system_score_gemma":0.0005884868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002160294,"about_ca_topic_score_gemma":0.002632517,"domain_scores_codex":[0.999388,0.00009865208,0.00005893274,0.0001452058,0.000185477,0.0001237008],"domain_scores_gemma":[0.999392,0.0001958964,0.00008510873,0.00006157321,0.0001762131,0.00008920229],"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.0000366583,0.000008499084,0.0002906895,0.00006673194,0.000005177531,0.0001144514,0.0002963991,0.0001787502,0.004127565,0.9801164,0.001926718,0.01283196],"study_design_scores_gemma":[0.00004200337,0.00003634507,0.0007041648,0.00003197204,0.00001628105,0.0004701143,0.0003855829,0.002405547,0.007724984,0.8895594,0.09860233,0.00002131984],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07413318,0.001363548,0.6594756,0.002932168,0.0009957084,0.0002418727,0.0009021696,0.001074253,0.2588815],"genre_scores_gemma":[0.6984436,0.001783575,0.2654184,0.001254911,0.0003864671,0.0003794225,0.00100487,0.000521243,0.03080749],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007853362,"threshold_uncertainty_score":0.02627212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03685826782914222,"score_gpt":0.2909314559572127,"score_spread":0.2540731881280705,"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."}}