{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002894028,0.0001227577,0.0001375059,0.00003211606,0.0002948756,0.0001202697,0.0004239705,0.00003737499,0.00002087206],"category_scores_gemma":[0.0002247226,0.00006342443,0.00003995145,0.0003061554,0.0002511114,0.0005812261,0.0001616218,0.0001297884,0.00002109572],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002187033,"about_ca_system_score_gemma":0.00003517449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003951201,"about_ca_topic_score_gemma":0.000008162913,"domain_scores_codex":[0.9990432,0.000175868,0.0001138629,0.0002930875,0.0001314604,0.0002424925],"domain_scores_gemma":[0.998992,0.0004702954,0.00007863888,0.0003370373,0.00005462364,0.00006738953],"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.000007679309,0.00001006575,0.0003015761,0.000003635614,0.00001648085,0.00001507981,0.0009473854,0.00002262358,0.00001301981,0.9924352,0.0001165982,0.006110643],"study_design_scores_gemma":[0.007111812,0.0002497996,0.003222272,0.000078578,0.0001154523,0.0001222816,0.003824008,0.03926222,0.00296777,0.5934786,0.3483588,0.001208405],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05251575,0.001426034,0.8660033,0.007298274,0.0004487626,0.0007042953,0.00001652265,0.0004573925,0.07112961],"genre_scores_gemma":[0.9923401,0.00007306951,0.005991713,0.000598365,0.00002106057,0.000004323792,0.000002737147,0.000005969329,0.0009626893],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9398243,"threshold_uncertainty_score":0.2586373,"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."}}