{"id":"W2165303269","doi":"10.1109/ismvl.1994.302217","title":"Multiple-valued logic operations with universal literals","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Literal (mathematical logic); Product (mathematics); Computer science; Function (biology); Variable (mathematics); Implicant; Canonical normal form; Mathematics; Discrete mathematics; Algorithm; Theoretical computer science; Boolean function","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.000135461,0.0000741653,0.00006676066,0.00006299328,0.000110375,0.0001328413,0.0004454759,0.00003048766,0.0001652574],"category_scores_gemma":[0.00005114689,0.00005422594,0.00001816174,0.000321783,0.00003739427,0.0008779432,0.00006227243,0.0000630403,0.0001968035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002956,"about_ca_system_score_gemma":0.000009736316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002455096,"about_ca_topic_score_gemma":0.00001117427,"domain_scores_codex":[0.9993266,0.00007854436,0.0001051731,0.0002106235,0.0001387665,0.000140328],"domain_scores_gemma":[0.9993838,0.00003250668,0.00002115048,0.0004318472,0.00007826368,0.00005241187],"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.000002703297,0.00006255527,0.0002750012,0.000002814976,0.000007287005,0.000005756139,0.001000639,0.002019492,0.0007417538,0.9855562,0.0005036858,0.009822122],"study_design_scores_gemma":[0.000262343,0.00009899538,0.0008059539,0.000004764548,0.000002094975,0.00001638629,0.00002663632,0.9942906,0.00177113,0.0003167845,0.002292437,0.0001118627],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00554145,0.00001990521,0.9731249,0.0005492321,0.00009124736,0.0001241035,6.811649e-7,0.0002215269,0.02032693],"genre_scores_gemma":[0.2370476,0.000003862563,0.7595503,0.0003574819,0.00001569316,0.000006411072,8.669876e-7,0.000003094366,0.003014707],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9922711,"threshold_uncertainty_score":0.2529577,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05590618435567126,"score_gpt":0.2790178946059774,"score_spread":0.2231117102503061,"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."}}