{"id":"W2036651904","doi":"10.1016/s0168-0072(03)00056-3","title":"A second-order system for polytime reasoning based on Grädel's theorem","year":2003,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Order (exchange); Bounded function; Polynomial; Reverse mathematics; Corollary; Second-order logic; Function (biology); Class (philosophy); French horn; Polynomial hierarchy; Discrete mathematics; Second-order arithmetic; Time complexity; Combinatorics; Algebra over a field; Pure mathematics; Computer science; Axiom; Description logic; Artificial intelligence","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.0006945374,0.0002105476,0.0003301757,0.00009401215,0.000167044,0.00008337636,0.0003591754,0.0001251909,0.00003082498],"category_scores_gemma":[0.00007279895,0.0001575319,0.0001010411,0.0002600834,0.00005903708,0.00008210124,0.00004737105,0.0001051094,0.00001816976],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008522916,"about_ca_system_score_gemma":0.00006779804,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001394889,"about_ca_topic_score_gemma":0.000002661241,"domain_scores_codex":[0.9987236,0.00005801821,0.0002355298,0.000443835,0.0001619472,0.0003770483],"domain_scores_gemma":[0.9989749,0.0002203166,0.0001603414,0.0004028738,0.0001257667,0.000115853],"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.00002978931,0.00006953688,0.00003483322,0.00009419621,0.00001790482,0.000002720319,0.0001924715,0.00008634455,0.0004592948,0.9939314,0.001422016,0.003659478],"study_design_scores_gemma":[0.009004458,0.004060923,0.001814389,0.0008386232,0.0001470961,0.0001271363,0.00191453,0.09509612,0.2540942,0.5283641,0.1011674,0.00337114],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02466185,0.001397502,0.4044332,0.0007857677,0.000331335,0.001059013,0.00002173426,0.0003276412,0.566982],"genre_scores_gemma":[0.9871406,0.000008885666,0.01111951,0.001259226,0.00005897962,0.00005904061,0.000004129067,0.00001269256,0.0003369389],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9624788,"threshold_uncertainty_score":0.6423965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03015922952910509,"score_gpt":0.2645998596941179,"score_spread":0.2344406301650128,"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."}}