{"id":"W47957120","doi":"10.1007/978-1-4613-0089-2_9","title":"Theo:A Resolution—Refutation Theorem Prover","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Mathematical and Computational Methods","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Correctness; Gas meter prover; Phase (matter); Automated theorem proving; Resolution (logic); Burden of proof; Proof of concept; Line (geometry); Base (topology); Calculus (dental); Computer science; Algorithm; Mathematics; Programming language; Physics; Mathematical proof; Mathematical analysis; Quantum mechanics; Geometry; Law","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000591943,0.0003545602,0.0004494102,0.0001151597,0.00009260556,0.00004467486,0.0002168177,0.0003388175,0.009746973],"category_scores_gemma":[0.0003540996,0.000259596,0.0002317841,0.00003691927,0.00009859357,0.00006727025,0.00008568817,0.0003169303,0.0007771321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007153572,"about_ca_system_score_gemma":0.00006335122,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001480019,"about_ca_topic_score_gemma":0.000002718072,"domain_scores_codex":[0.9982478,0.00005956523,0.0005684417,0.0003619555,0.0005478172,0.0002144205],"domain_scores_gemma":[0.9975361,0.0014902,0.0002870839,0.0003937993,0.0002002194,0.00009263359],"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.00001617853,0.00003812807,1.307544e-7,0.0001475001,0.00006616167,0.000007897641,0.00006893534,0.00000443022,0.000002210626,0.9756393,0.009268238,0.01474091],"study_design_scores_gemma":[0.0001399203,0.00004122259,8.654149e-7,0.0001577662,0.00008048474,0.00002746902,0.000009394401,0.001389723,0.00001412679,0.8663194,0.1315326,0.000287008],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000006998998,0.00005332495,0.2269898,0.0002776123,0.0001209457,0.0004041443,0.000009891711,0.0001894334,0.7719479],"genre_scores_gemma":[0.0001419444,0.00002093297,0.1598085,0.00022255,0.0003397006,0.00002645875,0.00002297499,0.00007737797,0.8393396],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1222644,"threshold_uncertainty_score":0.9999856,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09877299780575732,"score_gpt":0.351305050683093,"score_spread":0.2525320528773357,"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."}}