{"id":"W2047718799","doi":"10.1007/s00012-003-1733-4","title":"On the number of join-irreducibles in a congruence representation of a finite distributive lattice","year":2003,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Distributive property; Join (topology); Combinatorics; Lattice (music); Distributive lattice; Bounded function; Finite set; Discrete mathematics; Pure mathematics; Physics; Mathematical analysis","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.0001808146,0.00009601145,0.000165427,0.00007067589,0.0000423483,0.00001322171,0.0004256211,0.00003827714,0.00006703533],"category_scores_gemma":[0.0005290034,0.00007398983,0.00005612019,0.0009436795,0.0001538768,0.0003446654,0.00006452006,0.0001034926,0.00001169729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003540264,"about_ca_system_score_gemma":0.00006572335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001458667,"about_ca_topic_score_gemma":0.00002256689,"domain_scores_codex":[0.9989945,0.0001987722,0.0002015767,0.0002504621,0.0001934746,0.0001611558],"domain_scores_gemma":[0.9981766,0.001051176,0.0001765008,0.0004622876,0.000101307,0.00003215623],"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.00001137627,0.00005936745,0.004051306,0.000005479539,0.00001211261,0.00001147874,0.001012381,0.0003061529,0.000244971,0.9937778,0.00007461828,0.0004329961],"study_design_scores_gemma":[0.001409914,0.0001902123,0.03534341,0.0001821532,0.00002757425,0.00001805609,0.003035076,0.003679171,0.06411655,0.8910131,0.0006063287,0.0003784353],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9102775,0.00003810843,0.07048693,0.0005575702,0.0001118452,0.0002133883,0.00001961143,0.00002923791,0.0182658],"genre_scores_gemma":[0.9972077,0.00001741304,0.002544665,0.0001141277,0.000003306852,0.000003346853,0.000003273812,0.000003863292,0.0001023057],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1027646,"threshold_uncertainty_score":0.3017218,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01925576830585851,"score_gpt":0.2644093559199069,"score_spread":0.2451535876140484,"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."}}