{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001989579,0.0001265559,0.0001361043,0.00008937533,0.0001264319,0.0001113267,0.0005285516,0.0000518051,0.00005410462],"category_scores_gemma":[0.00007391608,0.0001160246,0.00002782064,0.00035173,0.0001111803,0.001205979,0.0001998723,0.00009702299,0.00007108565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002338119,"about_ca_system_score_gemma":0.00003846688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001865476,"about_ca_topic_score_gemma":0.0005713168,"domain_scores_codex":[0.9990594,0.00008687802,0.0001189822,0.000341679,0.0001439066,0.0002491406],"domain_scores_gemma":[0.9990644,0.0003692134,0.0000661588,0.0003187136,0.00006057894,0.0001208756],"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.00001789871,0.00008010976,0.01897304,0.00001304183,0.00006016155,0.00008103436,0.002397713,0.0005519966,0.0001426416,0.8455704,0.002425081,0.1296868],"study_design_scores_gemma":[0.004319937,0.0006222843,0.3174798,0.00009302935,0.00007213806,0.0001266369,0.0007281292,0.1452663,0.003086122,0.08201947,0.4435207,0.00266539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5887724,0.00198117,0.3815132,0.007075894,0.0005218192,0.0003472965,0.00003756474,0.0008278989,0.01892279],"genre_scores_gemma":[0.9849848,0.0001251911,0.0130227,0.0009348532,0.00004547689,0.000001329818,0.000006294787,0.000006357164,0.0008730263],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7635509,"threshold_uncertainty_score":0.4731347,"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."}}