{"id":"W2111110847","doi":"10.1109/ismvl.2005.1","title":"A Characterization of Antisymmetry in Boolean and Multi-Valued Functions","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria; University of Lethbridge","funders":"","keywords":"Antisymmetry; Characterization (materials science); Boolean function; Class (philosophy); Boolean algebra; Computer science; Boolean expression; Mathematics; Algebra over a field; Theoretical computer science; Discrete mathematics; Algorithm; Pure mathematics; Artificial intelligence; Physics","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.002300738,0.0006104969,0.0006560999,0.00189983,0.0005987298,0.00180864,0.001028699,0.0006862421,0.002655369],"category_scores_gemma":[0.008170541,0.0003844865,0.0007715928,0.0009411111,0.002757975,0.004165153,0.001358095,0.001740067,0.0004622126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006375408,"about_ca_system_score_gemma":0.0004557123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002554824,"about_ca_topic_score_gemma":0.0002635708,"domain_scores_codex":[0.9980962,0.0004127184,0.0001904592,0.0004674448,0.0006811859,0.0001520458],"domain_scores_gemma":[0.9889405,0.006019424,0.001272271,0.002399502,0.001110245,0.0002579535],"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.0002616669,0.00008386634,0.00479291,0.0001553614,0.00003830863,0.0005315949,0.0004493066,0.01078712,0.05595513,0.7844523,0.001172389,0.14132],"study_design_scores_gemma":[0.000025187,0.000122289,0.001593381,0.00004132241,0.00003299317,0.001295962,0.0001336272,0.2070043,0.03627802,0.7479969,0.00541431,0.00006185671],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04109632,0.0001716451,0.9557694,0.0001314268,0.00004551905,0.00004310533,0.00006682266,0.000199291,0.002476673],"genre_scores_gemma":[0.7284271,0.0002737005,0.2680797,0.0001375624,0.0001841754,0.00009085707,0.0001998674,0.0001707963,0.002436363],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002655369,"threshold_uncertainty_score":0.01216763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02857360524793943,"score_gpt":0.2895363268739511,"score_spread":0.2609627216260117,"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."}}