{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001022354,0.0006665654,0.0006417845,0.0006478121,0.0004510255,0.001597954,0.001363427,0.0004674655,0.004533847],"category_scores_gemma":[0.002901152,0.0004460376,0.0008549592,0.0006577458,0.00156275,0.00513539,0.001544229,0.001050347,0.000834747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006203159,"about_ca_system_score_gemma":0.0005243167,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002961169,"about_ca_topic_score_gemma":0.0005438174,"domain_scores_codex":[0.9989455,0.0002452523,0.0001235193,0.0002213465,0.0003386764,0.0001256821],"domain_scores_gemma":[0.9989763,0.0003988136,0.0001504935,0.0002940629,0.0001308584,0.00004939974],"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.0001748589,0.00004685246,0.0002940629,0.0003644448,0.00003567741,0.0005198675,0.0003014785,0.01519475,0.03340698,0.7790183,0.001904897,0.1687377],"study_design_scores_gemma":[0.0001197163,0.0003181188,0.0002964153,0.0001465238,0.0001677912,0.001025109,0.0001311402,0.2018642,0.11749,0.6155822,0.0627839,0.000074916],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03429044,0.0005180921,0.953707,0.0003340424,0.0001391255,0.00008954343,0.00008946797,0.001104395,0.009727972],"genre_scores_gemma":[0.3643795,0.0005153276,0.6288163,0.0002247445,0.0001235373,0.0001577166,0.0001345915,0.0002252454,0.005422943],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004533847,"threshold_uncertainty_score":0.01516724,"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."}}