{"id":"W3185243388","doi":"10.7151/dmgaa.1375","title":"Revisiting the representation theorem of finite distributive lattices with principal congruences. A \\emph{Proof-by-Picture} approach","year":2021,"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":"Mathematics; Congruence relation; Distributive property; Principal (computer security); Distributive lattice; Representation (politics); Representation theorem; Algebra over a field; Pure mathematics; Discrete mathematics; Computer science; Law","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.004449744,0.000836262,0.000819303,0.002063915,0.002108862,0.006797921,0.002709664,0.002122737,0.009900896],"category_scores_gemma":[0.007734641,0.0007909623,0.001843286,0.002076363,0.01283514,0.02351971,0.005236466,0.006209041,0.002783506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002943042,"about_ca_system_score_gemma":0.001696771,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002177587,"about_ca_topic_score_gemma":0.0017314,"domain_scores_codex":[0.9973353,0.001122319,0.0001174778,0.000418045,0.0007703123,0.0002365552],"domain_scores_gemma":[0.9965847,0.001797777,0.0001723386,0.0008657935,0.000435708,0.0001436402],"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.000004062836,0.000003654337,0.00001472848,0.00001502911,0.000001602466,0.00002058389,0.00008081691,0.000211513,0.00009362381,0.9952338,0.0009258166,0.003394763],"study_design_scores_gemma":[0.000005852826,0.000004630037,0.00001481028,0.00001436044,0.000002621482,0.00004619538,0.0000346803,0.001830642,0.0001876792,0.9852196,0.01263411,0.000004954582],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006704924,0.003283923,0.8668613,0.01077547,0.001142184,0.00004138571,0.0001974601,0.0005484003,0.1104449],"genre_scores_gemma":[0.454334,0.005598492,0.4904369,0.004023565,0.00351256,0.0002009573,0.0004752337,0.0009965615,0.04042176],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009900896,"threshold_uncertainty_score":0.03312182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01461090566835005,"score_gpt":0.2609802711978043,"score_spread":0.2463693655294542,"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."}}