{"id":"W2166565522","doi":"10.2478/v10037-009-0028-4","title":"Dilworth's Decomposition Theorem for Posets","year":2009,"lang":"en","type":"article","venue":"Formalized Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Mathematics; Decomposition; Algebra over a field; Decomposition theorem; Discrete mathematics; Combinatorics; Pure mathematics","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.002191546,0.001147102,0.001119526,0.002768337,0.00183606,0.003683286,0.00118374,0.0009830203,0.01334878],"category_scores_gemma":[0.002795286,0.0008180891,0.002163179,0.001907304,0.00385785,0.008217073,0.00366839,0.003138822,0.002291581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002621759,"about_ca_system_score_gemma":0.0008104228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001531798,"about_ca_topic_score_gemma":0.001343954,"domain_scores_codex":[0.9981317,0.0002209802,0.0001525759,0.0005331535,0.0006090744,0.0003525472],"domain_scores_gemma":[0.9981641,0.000783212,0.0001304283,0.0002792948,0.0004411134,0.0002019245],"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.00001295081,0.00001128895,0.0001200092,0.00005462036,0.000008493975,0.00005953984,0.000217012,0.0002986982,0.0003412628,0.9852626,0.003616143,0.009997288],"study_design_scores_gemma":[0.00001652799,0.00001424101,0.0001948303,0.00002325713,0.00001151051,0.0001860962,0.00006638686,0.001958648,0.0004652895,0.972675,0.02437777,0.00001039184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02996731,0.003862935,0.7252603,0.002728755,0.0005305507,0.000222313,0.0015862,0.0008331329,0.2350085],"genre_scores_gemma":[0.6551612,0.004281752,0.2552081,0.003394211,0.001893437,0.0009411993,0.004008297,0.0006395599,0.07447226],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01334878,"threshold_uncertainty_score":0.04465616,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02987350184096468,"score_gpt":0.3676864564193064,"score_spread":0.3378129545783417,"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."}}