{"id":"W2137777810","doi":"10.1109/lics.2001.932495","title":"A second-order system for polytime reasoning using Gradel's theorem","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Bounded function; Order (exchange); Polynomial; Second-order logic; Polynomial hierarchy; Mathematics; Function (biology); Reverse mathematics; Discrete mathematics; Corollary; Class (philosophy); Time complexity; Combinatorics; Algebra over a field; Computer science; Pure mathematics; Description logic; Axiom; Artificial intelligence; Higher-order logic","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.00198519,0.0006569273,0.0009576374,0.001439441,0.001404154,0.003632197,0.002295784,0.000988675,0.00661674],"category_scores_gemma":[0.004863598,0.0007794931,0.002670042,0.001475361,0.00456888,0.007772166,0.004689873,0.004770106,0.001967108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003590179,"about_ca_system_score_gemma":0.002241418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007552186,"about_ca_topic_score_gemma":0.00872627,"domain_scores_codex":[0.9972665,0.000466848,0.0002261569,0.0007072804,0.0009417688,0.0003914436],"domain_scores_gemma":[0.9970254,0.0012013,0.0002092767,0.0008822104,0.0004925271,0.0001892164],"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.00004868767,0.00003133522,0.000371625,0.0001046499,0.00002090742,0.0001216598,0.0003937554,0.005874956,0.00290272,0.9736372,0.002102874,0.01438962],"study_design_scores_gemma":[0.00009161409,0.00007067454,0.0003812664,0.00004258598,0.00006076048,0.0002002796,0.0001001589,0.09193427,0.008605879,0.8609624,0.03748174,0.00006837683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01210877,0.0002728215,0.9733099,0.0007024572,0.0001010456,0.0001240225,0.0003731291,0.001898739,0.01110911],"genre_scores_gemma":[0.3820799,0.0004516601,0.6018711,0.0009351879,0.000228386,0.0003544967,0.001219376,0.0005342643,0.01232575],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007552186,"threshold_uncertainty_score":0.02604872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03144452859730704,"score_gpt":0.2425264978791249,"score_spread":0.2110819692818179,"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."}}