{"id":"W2067703954","doi":"10.1002/malq.201020093","title":"Simulating non-prenex cuts in quantified propositional calculus","year":2011,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Calculus (dental); Propositional variable; Propositional formula; Propositional calculus; Computer science; Discrete mathematics; Artificial intelligence; Orthodontics; Medicine","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.0005659612,0.0002006768,0.0003235345,0.0001023557,0.00009210058,0.0001385048,0.0006440641,0.000125777,0.0001176159],"category_scores_gemma":[0.00004631246,0.0001486519,0.0001002994,0.0002838532,0.00007631718,0.0002886882,0.0000700047,0.0001724787,0.0007406427],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003809344,"about_ca_system_score_gemma":0.00003490104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000642048,"about_ca_topic_score_gemma":0.00001480831,"domain_scores_codex":[0.9981281,0.0001092512,0.0005339174,0.0004401262,0.0003369453,0.0004517138],"domain_scores_gemma":[0.9990542,0.0001403988,0.0001246474,0.0004916908,0.00006468017,0.0001244187],"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.000006291176,0.0003450832,0.0002239563,0.00008675322,0.00001047177,0.00009208824,0.007818157,0.000006317359,0.0001966759,0.9838229,0.00003375636,0.007357484],"study_design_scores_gemma":[0.0004266659,0.0006042136,0.00113358,0.00002668671,0.000006349956,0.00005534806,0.0002533128,0.1301181,0.0002292459,0.8668172,0.00004811311,0.0002810709],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02032905,0.00001955976,0.9357894,0.0001050829,0.0002046278,0.0004258366,4.742644e-7,0.000191823,0.04293412],"genre_scores_gemma":[0.9653265,1.497794e-7,0.03420915,0.00009008937,0.00005325859,0.00005579467,0.000002401025,0.00001021435,0.0002524511],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9449974,"threshold_uncertainty_score":0.9519711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04646462270182227,"score_gpt":0.2703370566214111,"score_spread":0.2238724339195888,"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."}}