{"id":"W3173971361","doi":"10.1007/s00029-021-00656-z","title":"The fundamental theorem of finite semidistributive lattices","year":2019,"lang":"","type":"article","venue":"ArXiv.org","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs; National Science Foundation","keywords":"Distributive lattice; Mathematics; Partially ordered set; Representation theorem; Hyperplane; Distributivity; Lattice (music); Quotient; Distributive property; Structured program theorem; Pure mathematics; Finite set; Fundamental theorem; Discrete mathematics; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"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.003529292,0.0005553021,0.0008552994,0.001274851,0.002788544,0.00589887,0.001484941,0.001318807,0.007192109],"category_scores_gemma":[0.006770665,0.0005399153,0.001644486,0.001511151,0.009788025,0.01362414,0.005177458,0.00426654,0.001445495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002597081,"about_ca_system_score_gemma":0.00173679,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001047421,"about_ca_topic_score_gemma":0.0006761467,"domain_scores_codex":[0.9971985,0.0005072615,0.0001908797,0.0006834992,0.001021001,0.0003988911],"domain_scores_gemma":[0.9951892,0.002417679,0.0003470438,0.0008750508,0.0006729998,0.000498009],"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.000008830231,0.00001088806,0.00006943165,0.00001512757,0.000002647241,0.00002681057,0.0001702768,0.000308956,0.000319339,0.995691,0.0004655172,0.002911033],"study_design_scores_gemma":[0.000009887412,0.00001138458,0.00004430183,0.00000686046,0.000002740205,0.00005922397,0.00003534446,0.001410316,0.0005372377,0.9927993,0.005077322,0.000006147847],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1155922,0.001670371,0.7736325,0.004865971,0.000858569,0.0001094933,0.000868617,0.0006987849,0.1017035],"genre_scores_gemma":[0.8672377,0.001201973,0.1117121,0.001068461,0.001521857,0.0002755689,0.0007495942,0.0002337093,0.01599895],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007192109,"threshold_uncertainty_score":0.02406001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02439413437402156,"score_gpt":0.2574933642259309,"score_spread":0.2330992298519093,"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."}}