{"id":"W2014718701","doi":"10.1007/s00012-013-0264-x","title":"A short proof of the congruence representation theorem of rectangular lattices","year":2013,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Diverse Scientific and Engineering Research","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Distributive lattice; Congruence (geometry); Distributive property; Representation theorem; Lattice (music); Congruence lattice problem; Complete lattice; Representation (politics); Pure mathematics; Discrete mathematics; Algebra over a field; Combinatorics; Geometry; Universality (dynamical systems)","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.001903416,0.001925323,0.00136217,0.002157046,0.00223378,0.003174941,0.001492494,0.00163297,0.03665158],"category_scores_gemma":[0.004973311,0.0008808715,0.002732199,0.002787246,0.003401642,0.005928422,0.004768818,0.00598943,0.007650202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001929552,"about_ca_system_score_gemma":0.0009582791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00210741,"about_ca_topic_score_gemma":0.001757832,"domain_scores_codex":[0.9988502,0.0002060077,0.0000915094,0.0002320547,0.0004650163,0.0001551566],"domain_scores_gemma":[0.9979076,0.001101964,0.0001165304,0.0002022777,0.0005076203,0.0001640205],"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.00007386517,0.00009792929,0.0002350721,0.0004609551,0.00004398345,0.0004105419,0.0003462144,0.0009914297,0.00378433,0.9189944,0.03401775,0.04054355],"study_design_scores_gemma":[0.00003374916,0.00006064633,0.0006082798,0.0000999069,0.00003536855,0.0002846458,0.00008750202,0.001739636,0.001407825,0.9152138,0.08038182,0.0000468328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01713251,0.01675264,0.6156299,0.02310253,0.01987096,0.0004881711,0.002793879,0.002836082,0.3013933],"genre_scores_gemma":[0.4532006,0.01715278,0.3552615,0.0165721,0.01854847,0.001138411,0.003848823,0.00240152,0.1318757],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03665158,"threshold_uncertainty_score":0.1226118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01088333602956657,"score_gpt":0.2149970966407976,"score_spread":0.204113760611231,"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."}}