{"id":"W2014988898","doi":"10.1215/00294527-2009-013","title":"George Boole's Deductive System","year":2009,"lang":"en","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Universitatea din București; University of Waterloo; University of South Carolina","keywords":"Rotation formalisms in three dimensions; George (robot); Computer science; Principal (computer security); Algebra over a field; Mathematics; Programming language; Artificial intelligence; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005586245,0.0004100703,0.0005628606,0.00188978,0.003056279,0.004486065,0.001513306,0.001865208,0.007784889],"category_scores_gemma":[0.01386833,0.0005003022,0.0009006016,0.001055241,0.01266679,0.00737277,0.003351068,0.004392464,0.003408174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003796792,"about_ca_system_score_gemma":0.003156229,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003897228,"about_ca_topic_score_gemma":0.002773178,"domain_scores_codex":[0.9969844,0.001277574,0.0001522143,0.0006543301,0.0007527811,0.0001785849],"domain_scores_gemma":[0.9945043,0.003299488,0.0001371733,0.001000556,0.0008757139,0.0001827057],"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.000009117955,0.0000032083,0.00003051642,0.00001390002,0.000002067907,0.00001560683,0.0001370397,0.0002427707,0.00005361399,0.9916652,0.003829183,0.003997811],"study_design_scores_gemma":[0.00001621491,0.000009171063,0.00003651932,0.0000289883,0.000005355743,0.00003935718,0.00002863795,0.001722371,0.0003420929,0.9253725,0.0723854,0.00001337599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01149492,0.004854762,0.5430581,0.04125757,0.00190036,0.0001817696,0.0007653577,0.002551284,0.3939359],"genre_scores_gemma":[0.4921263,0.004887782,0.385984,0.006824241,0.001712103,0.0004594495,0.0006226643,0.0008849232,0.1064987],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007784889,"threshold_uncertainty_score":0.02954328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01094312846161898,"score_gpt":0.2307062826099928,"score_spread":0.2197631541483738,"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."}}