{"id":"W2055138800","doi":"10.1007/s00153-005-0282-2","title":"Quantified propositional calculus and a second-order theory for NC1","year":2005,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Mathematics; Proof complexity; Discrete mathematics; Propositional calculus; Order (exchange); Bounded function; Polynomial; Algebra over a field; Calculus (dental); Pure mathematics","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.00283166,0.001029375,0.000973515,0.003271976,0.004611045,0.008566163,0.003028488,0.00204966,0.01151621],"category_scores_gemma":[0.005034073,0.0006895849,0.002221624,0.003527169,0.005166366,0.0110254,0.003063816,0.005613514,0.001537372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008336547,"about_ca_system_score_gemma":0.003799869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01332209,"about_ca_topic_score_gemma":0.01046722,"domain_scores_codex":[0.997391,0.0004966214,0.0001675075,0.0004797192,0.001055803,0.0004093231],"domain_scores_gemma":[0.9965938,0.001341635,0.0002206418,0.0006381591,0.0009746274,0.0002311587],"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.000003951858,0.00000563412,0.00002891626,0.000008391254,0.000001514029,0.0000127949,0.00004773514,0.0001655233,0.00005178735,0.9977696,0.0009179491,0.0009862019],"study_design_scores_gemma":[0.000007074499,0.000004235624,0.00008419796,0.00001434762,0.000009351012,0.00004369254,0.00003656087,0.004452365,0.0004362196,0.9797681,0.01512866,0.00001532495],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03278414,0.002263471,0.67588,0.007452281,0.001928522,0.0001440097,0.00223623,0.001325393,0.2759859],"genre_scores_gemma":[0.6529591,0.001383152,0.2311103,0.002394811,0.001517229,0.0003130466,0.002613836,0.0007343036,0.1069743],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01332209,"threshold_uncertainty_score":0.06048614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03004716016071145,"score_gpt":0.2795593172617327,"score_spread":0.2495121571010213,"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."}}