{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001023832,0.00006106323,0.00009343807,0.00006673951,0.00002259321,0.00001386741,0.0002761445,0.00003383005,0.0002251653],"category_scores_gemma":[0.00003680973,0.0000467434,0.00005065267,0.0003793277,0.0001404217,0.0002140021,0.00004905539,0.00006602307,0.000009099371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002158237,"about_ca_system_score_gemma":0.00001013198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001809606,"about_ca_topic_score_gemma":0.000006527073,"domain_scores_codex":[0.9994337,0.00001541212,0.0001132065,0.00009289628,0.0002189286,0.0001258799],"domain_scores_gemma":[0.9995206,0.00004934381,0.0000196094,0.0002776174,0.00009930272,0.00003355058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004383294,0.000188959,0.0318372,0.001189796,0.0008833308,0.00002055616,0.01375607,0.1934829,0.5093184,0.1308095,0.04315375,0.07531577],"study_design_scores_gemma":[0.0004418542,0.0000568714,0.04501119,0.0002121817,0.00007854281,0.00000489779,0.004457373,0.09434266,0.8477347,0.004789457,0.002514905,0.0003553691],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9805952,0.00007017794,0.0007664655,0.00004449917,0.0002358853,0.0002251719,0.00001150349,0.00005197342,0.01799918],"genre_scores_gemma":[0.998974,0.00001196616,0.0001797975,0.000002245525,0.000008465275,0.000003388434,0.000002877016,0.000008885723,0.000808401],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3384164,"threshold_uncertainty_score":0.2465402,"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."}}