{"id":"W2084042630","doi":"10.1007/s000120300001","title":"Finite distributive lattices and the splitting property","year":2003,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Distributive lattice; Distributive property; Antichain; Congruence lattice problem; Mathematics; Lattice (music); Property (philosophy); Integer lattice; Combinatorics; Pure mathematics; Discrete mathematics; Partially ordered set; Condensed matter physics; 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.001431487,0.0002363899,0.0005777615,0.0007084062,0.001653606,0.002771747,0.0006938438,0.0006160787,0.004148633],"category_scores_gemma":[0.002993797,0.0004396134,0.0005363347,0.000984596,0.00578624,0.009141061,0.002328777,0.002260744,0.0004151472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001071878,"about_ca_system_score_gemma":0.0006799543,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008271068,"about_ca_topic_score_gemma":0.0007647896,"domain_scores_codex":[0.9992008,0.0002072039,0.00005149589,0.0001823709,0.0002404605,0.0001176904],"domain_scores_gemma":[0.9972641,0.001608507,0.0001790922,0.0003860611,0.0002714769,0.0002907227],"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.00004129239,0.00001355559,0.0003000591,0.00002022179,0.000005073196,0.00006175775,0.0002864629,0.000335321,0.0007431624,0.9921557,0.0004470313,0.00559037],"study_design_scores_gemma":[0.000007918142,0.000004098193,0.00008861681,0.000003524434,0.000002994039,0.00005346064,0.00005321728,0.0009264885,0.0004134977,0.9969721,0.001471198,0.000002895078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5516582,0.003956417,0.3009515,0.005600051,0.0003066561,0.00004058418,0.0005029274,0.0004473545,0.1365363],"genre_scores_gemma":[0.9768606,0.0004090401,0.01652684,0.0002297292,0.000169172,0.00002441399,0.0001860301,0.00004314377,0.005550966],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004148633,"threshold_uncertainty_score":0.01387858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01070263676163249,"score_gpt":0.2063845248987866,"score_spread":0.1956818881371541,"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."}}