{"id":"W202516377","doi":"","title":"An extension of Seller's theorem on partitions and its applications.","year":2008,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Advanced Mathematical Identities","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Extension (predicate logic); Discrete mathematics; Computer science; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000137863,0.000107198,0.0002028622,0.00005415068,0.0001507052,0.000007585958,0.0001132891,0.00005392689,0.00004134416],"category_scores_gemma":[0.0002448864,0.00009751313,0.00003351677,0.0001190503,0.0001215781,0.0001464488,0.0000352715,0.00008725907,0.00003604261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000161482,"about_ca_system_score_gemma":0.00001456431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.938811e-7,"about_ca_topic_score_gemma":6.100884e-7,"domain_scores_codex":[0.9992136,0.00004324429,0.0002416554,0.0001809769,0.0001902939,0.0001302225],"domain_scores_gemma":[0.998812,0.0004904495,0.0001053503,0.0003859341,0.000128056,0.00007826202],"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.000006565729,0.0003536409,0.00003438053,0.00006182666,0.000009246334,0.000002496103,0.0003090231,0.00000378307,0.001324968,0.9974107,0.0004357669,0.00004760531],"study_design_scores_gemma":[0.0002770044,0.0001028974,0.0002143281,0.0000426787,0.0000177463,0.00001345273,0.0001126221,0.0001884461,0.01078257,0.9880402,0.0001088836,0.00009919354],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9932588,0.000109462,0.0006989002,0.00006319029,0.0000919769,0.0003783749,0.000007719039,0.000111279,0.005280346],"genre_scores_gemma":[0.9968497,0.00008794473,0.002628398,0.00002300842,0.00000640991,0.00007103136,0.000002867152,0.00002199394,0.0003086091],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009457599,"threshold_uncertainty_score":0.397647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04471334934995021,"score_gpt":0.3155232630714719,"score_spread":0.2708099137215217,"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."}}