{"id":"W2040487904","doi":"10.1016/j.disc.2009.04.009","title":"Generalizations of Świerczkowski’s lemma and the arity gap of finite functions","year":2009,"lang":"en","type":"article","venue":"Discrete Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Arity; Mathematics; Unary operation; Lemma (botany); Generalization; Discrete mathematics; Projection (relational algebra); Finite set; Characterization (materials science); Combinatorics; Set (abstract data type); Algorithm; Computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003741488,0.001102777,0.001921245,0.00377214,0.002343817,0.003820153,0.002674157,0.002043659,0.007499791],"category_scores_gemma":[0.009930969,0.001047258,0.002895206,0.003506776,0.009254739,0.02682677,0.006537887,0.008958362,0.000816882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002545398,"about_ca_system_score_gemma":0.0009647089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002463816,"about_ca_topic_score_gemma":0.001141062,"domain_scores_codex":[0.9980243,0.0003945704,0.0001890647,0.0005858362,0.0005016674,0.0003045394],"domain_scores_gemma":[0.9939312,0.003557902,0.0004001451,0.001191452,0.0004798237,0.0004395126],"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.00002769203,0.00001078693,0.0001733327,0.0000315016,0.000009587749,0.00006034477,0.0001987713,0.0004043311,0.00033602,0.9957622,0.0005646804,0.002420726],"study_design_scores_gemma":[0.00000696453,0.000004622194,0.000127972,0.000005342499,0.00000627515,0.0000364031,0.00002462518,0.0008585862,0.0001062872,0.9975836,0.001230043,0.000009215616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3267509,0.009478765,0.4531255,0.01636967,0.00229068,0.0000840005,0.001056256,0.0006230014,0.1902213],"genre_scores_gemma":[0.9368905,0.003416057,0.03329269,0.001838072,0.002480177,0.0001200229,0.0004553722,0.0003314179,0.02117555],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007499791,"threshold_uncertainty_score":0.02508926,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02387652398591051,"score_gpt":0.2539666835169974,"score_spread":0.2300901595310869,"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."}}