{"id":"W2122580274","doi":"10.1109/ismvl.1994.302205","title":"Enumeration of function and bases of three-valued set logic under compositions with Boolean functions","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Université du Québec à Trois-Rivières","funders":"","keywords":"Unary operation; Boolean function; Mathematics; Set (abstract data type); Discrete mathematics; Boolean algebra; Boolean expression; Tuple; Function (biology); Product term; Parity function; Boolean domain; Boolean data type; Enumeration; Combinatorics; Two-element Boolean algebra; Algebra over a field; Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00004204977,0.0000744576,0.0001059615,0.0000687209,0.0001009585,0.00001723182,0.00007809365,0.0000260931,0.0001277834],"category_scores_gemma":[0.00000412393,0.00005442784,0.00002260584,0.0002371017,0.00007470897,0.0003473632,0.00003137119,0.0000454114,0.000007227128],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000802614,"about_ca_system_score_gemma":0.000007314296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001636643,"about_ca_topic_score_gemma":0.00005996701,"domain_scores_codex":[0.99946,0.00002377028,0.0001419396,0.000167115,0.0001209201,0.00008624775],"domain_scores_gemma":[0.9995679,0.00004539688,0.00007760076,0.0001990849,0.00007667272,0.00003340515],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002908705,0.0002891737,0.003857125,0.00002871654,0.00005564601,0.000001378606,0.0001849512,0.01161732,0.008068574,0.9662271,0.000583876,0.009057059],"study_design_scores_gemma":[0.002894931,0.004553244,0.1507325,0.0001032729,0.0001827784,0.0001115164,0.0007147083,0.5848213,0.008694117,0.2459468,0.0005135239,0.0007312294],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05217212,0.00008697045,0.9453045,0.0003537927,0.0000458209,0.00009395146,0.000005395874,0.00005058071,0.001886891],"genre_scores_gemma":[0.973475,0.000006534609,0.02609391,0.0002098792,0.00001212957,0.000005350328,0.000008019972,0.000002950477,0.0001862094],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9213029,"threshold_uncertainty_score":0.2219503,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03727087978893946,"score_gpt":0.2299534266438673,"score_spread":0.1926825468549278,"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."}}