{"id":"W2112512535","doi":"10.1145/1183278.1183283","title":"The strength of replacement in weak arithmetic","year":2006,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Bounded function; Discrete mathematics; Class (philosophy); Axiom; Combinatorics; Complexity class; Polynomial; Integer (computer science); Quantifier (linguistics); Quantifier elimination; P; Time complexity; Computer science","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.0002633377,0.00009962591,0.0001086742,0.0001582023,0.0002321787,0.0000560423,0.0006932738,0.00003129684,0.00001953637],"category_scores_gemma":[0.00001874607,0.00007827116,0.00007809214,0.0005712325,0.00009937338,0.0001086321,0.00001826685,0.0001565132,0.0000120618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004235187,"about_ca_system_score_gemma":0.00005355792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009353099,"about_ca_topic_score_gemma":0.0001248646,"domain_scores_codex":[0.9988602,0.00008263104,0.0003219274,0.0002389569,0.0003289687,0.0001672604],"domain_scores_gemma":[0.9984304,0.0009773573,0.00007823286,0.0004173417,0.00007337179,0.0000232713],"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.00002157298,0.0004884526,0.0001341121,0.000007051865,0.000017391,0.000003129888,0.00005772747,0.3579196,0.00001243998,0.562892,0.0001558663,0.07829066],"study_design_scores_gemma":[0.0004616996,0.0001768165,0.01456406,0.00001722326,0.000004044231,0.00001102552,0.000033479,0.2433649,0.0001871536,0.7396906,0.001373426,0.0001155606],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00451899,0.00008093148,0.9906303,0.002755715,0.0002311166,0.0001370528,0.000008467618,0.00005348567,0.001583904],"genre_scores_gemma":[0.8462308,0.00001122625,0.1534484,0.00009045453,0.00001538344,0.00002146946,0.000004839415,0.000003520698,0.0001739177],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8417118,"threshold_uncertainty_score":0.3191805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02121284245199038,"score_gpt":0.2584923929182951,"score_spread":0.2372795504663047,"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."}}