{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00019422,0.0001882395,0.0002682812,0.00002707287,0.0004099477,0.0001392641,0.0004643729,0.00004995309,0.00001814204],"category_scores_gemma":[0.00006466182,0.00009107005,0.0000601115,0.0005699965,0.0002453064,0.0002753447,0.0002485483,0.0001296493,0.000003749859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000106942,"about_ca_system_score_gemma":0.00005045886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002212676,"about_ca_topic_score_gemma":0.000001182808,"domain_scores_codex":[0.9985432,0.0001090588,0.0003578976,0.0004838577,0.0002844964,0.0002214637],"domain_scores_gemma":[0.9985174,0.0003069263,0.0002866956,0.0006474984,0.0001534759,0.00008800947],"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.000004570969,0.000100342,0.0003014698,0.00009411591,0.00003775587,0.000001598956,0.001029769,0.0002128463,0.001509165,0.9758494,0.00002993434,0.02082902],"study_design_scores_gemma":[0.0009073281,0.00008717179,0.00459972,0.000232242,0.0001852322,0.0001492208,0.004739205,0.06649453,0.03454759,0.8842565,0.003011368,0.0007898615],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03418318,0.0005054328,0.9606935,0.002238302,0.00001425931,0.0005249471,0.00004467183,0.00005846798,0.001737214],"genre_scores_gemma":[0.9413502,0.00005700304,0.05727452,0.0001741645,0.0001079782,0.0004689378,0.00010984,0.00001292525,0.0004444572],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.907167,"threshold_uncertainty_score":0.3713729,"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."}}