{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002612387,0.0001671172,0.0002384481,0.00007555358,0.0005453863,0.0001069924,0.0003878837,0.00005284977,0.000001392082],"category_scores_gemma":[0.00003091326,0.00009242028,0.00006609808,0.000468661,0.0001891611,0.0002628257,0.0001643542,0.00006724578,0.000004101391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000572603,"about_ca_system_score_gemma":0.00002267302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002677417,"about_ca_topic_score_gemma":0.000004567883,"domain_scores_codex":[0.9988605,0.00003459955,0.0003162311,0.000360694,0.0001720712,0.0002558704],"domain_scores_gemma":[0.998984,0.0003204665,0.00017076,0.0003822764,0.00005283684,0.00008963492],"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.000002502306,0.00004037928,0.0001446538,0.0001514404,0.00002787241,7.803707e-7,0.0007506568,0.0001263242,0.07755234,0.9010252,0.00007928729,0.02009859],"study_design_scores_gemma":[0.0002600723,0.00004038096,0.001162884,0.00007984671,0.00005607261,0.00002618561,0.0006106495,0.07752162,0.02740107,0.8918955,0.0006737937,0.0002719818],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4451699,0.0002717943,0.5524302,0.001337704,0.00003590703,0.0005846737,0.00001907932,0.0001044491,0.00004630836],"genre_scores_gemma":[0.9508518,0.0001988302,0.04811014,0.0001819476,0.0001203758,0.0004502465,0.00001575578,0.00001872653,0.00005215226],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5056819,"threshold_uncertainty_score":0.4194726,"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."}}