{"id":"W2950837701","doi":"10.1109/lics.2004.1319620","title":"The strength of replacement in weak arithmetic","year":2004,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Combinatorics; Sigma; Mathematics; Discrete mathematics; Bounded function; Physics; Quantum mechanics; Mathematical analysis","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.006100692,0.0006367271,0.001059728,0.00166225,0.00248641,0.005161908,0.001871657,0.00156862,0.003769924],"category_scores_gemma":[0.01266889,0.001147495,0.001667056,0.001247313,0.01216511,0.01012843,0.007938182,0.00389666,0.0007927722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002808243,"about_ca_system_score_gemma":0.001543734,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002215236,"about_ca_topic_score_gemma":0.001681989,"domain_scores_codex":[0.9918309,0.002468015,0.0007677182,0.001633676,0.002369115,0.0009306505],"domain_scores_gemma":[0.9873695,0.005923328,0.0009719322,0.002695748,0.00210091,0.0009387113],"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.0001003666,0.000009881621,0.001101173,0.0001080482,0.00002617771,0.00008109929,0.0005455818,0.0009104632,0.002032401,0.9872887,0.0004851135,0.007311069],"study_design_scores_gemma":[0.00004704125,0.0001567862,0.001088542,0.00005726855,0.00008135002,0.0002784378,0.0004129711,0.007045792,0.004656925,0.9688576,0.01727471,0.00004254998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.4818695,0.003772949,0.3588526,0.006287424,0.0005515513,0.0001216864,0.0004615412,0.001470143,0.1466127],"genre_scores_gemma":[0.9623786,0.0004277386,0.02809883,0.0006480842,0.0001798731,0.00006026053,0.0001726477,0.00009765702,0.007936262],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.006100692,"threshold_uncertainty_score":0.03226399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0147096968716928,"score_gpt":0.2442917186731183,"score_spread":0.2295820218014255,"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."}}