{"id":"W2946356396","doi":"10.14232/actasm-017-060-9","title":"Minimal representations of a finite distributive lattice by principal congruences of a lattice","year":2019,"lang":"en","type":"article","venue":"Acta Scientiarum Mathematicarum","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Congruence relation; Distributive lattice; Mathematics; Lattice (music); Distributive property; Congruence (geometry); Pure mathematics; Isomorphism (crystallography); Congruence lattice problem; Combinatorics; Physics; Crystal structure; Geometry; Crystallography","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.0005240236,0.000165271,0.0003668648,0.0001160552,0.00009003795,0.00007126475,0.001215942,0.00005940341,0.0001056723],"category_scores_gemma":[0.0004964705,0.0001382378,0.0001205234,0.0008597489,0.0002976995,0.0007629655,0.0004746128,0.0001157205,0.00006535804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001872405,"about_ca_system_score_gemma":0.00009010264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001085262,"about_ca_topic_score_gemma":0.000002549597,"domain_scores_codex":[0.9979331,0.00008159991,0.0005407961,0.0004755089,0.0005910976,0.0003778398],"domain_scores_gemma":[0.9973693,0.0009615539,0.0004899277,0.0008557888,0.0002196621,0.0001036909],"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.00003210763,0.0008968724,0.008170937,0.0006793382,0.0001445804,0.000008347184,0.006094139,0.0001699678,0.07949512,0.9021443,0.001415689,0.0007486569],"study_design_scores_gemma":[0.003692751,0.001454741,0.01477296,0.0009950929,0.0003415827,0.00007345535,0.004696529,0.2098815,0.3590903,0.3992257,0.003914651,0.001860808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7709626,0.00008544608,0.218747,0.0009671386,0.0003182103,0.0005208398,0.0001098054,0.00007908029,0.008209951],"genre_scores_gemma":[0.9626201,0.000004252102,0.03657493,0.00004868646,0.00000803881,0.00001303644,0.00001019834,0.000007312094,0.0007133918],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5029186,"threshold_uncertainty_score":0.5637172,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01258875602630178,"score_gpt":0.2674118391332062,"score_spread":0.2548230831069044,"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."}}