{"id":"W1590450717","doi":"10.1007/s00012-004-1881-1","title":"Finite lattices and congruences. A survey","year":2005,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Congruence relation; Congruence lattice problem; Distributive property; Lattice (music); Mathematics; Pure mathematics; Distributive lattice; Congruence (geometry); Geometry; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002005087,0.0006952967,0.00148206,0.004713492,0.001435895,0.005105921,0.001263122,0.001530038,0.00763311],"category_scores_gemma":[0.003478921,0.0007620408,0.0006739779,0.00836168,0.005219118,0.01157432,0.002162683,0.003293127,0.002066504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00235371,"about_ca_system_score_gemma":0.001970929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001383447,"about_ca_topic_score_gemma":0.001400688,"domain_scores_codex":[0.9987344,0.0003120213,0.0001262369,0.0002505873,0.0004369274,0.0001398287],"domain_scores_gemma":[0.9968054,0.002265662,0.0001332548,0.000278913,0.0003267199,0.0001900477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004618882,0.0001038719,0.000814591,0.001281031,0.00002572065,0.00008101861,0.0003998825,0.0005852358,0.0003654028,0.8182743,0.01961176,0.1584109],"study_design_scores_gemma":[0.0000231747,0.00004609473,0.0008132262,0.0006552453,0.00001671786,0.0008431211,0.0004229321,0.001218763,0.0003868502,0.6847625,0.3107831,0.00002824284],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.00801839,0.8701338,0.02978201,0.006307181,0.001058526,0.00002622213,0.0002797525,0.0001372675,0.08425693],"genre_scores_gemma":[0.1464077,0.8066371,0.02548536,0.001934061,0.006446767,0.00008604829,0.0008748837,0.00007967119,0.01204841],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.00763311,"threshold_uncertainty_score":0.02553535,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01764012204360151,"score_gpt":0.2344573678878339,"score_spread":0.2168172458442324,"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."}}