{"id":"W2477717111","doi":"10.1017/cbo9780511546563.012","title":"Cobham's Theorem","year":2003,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Sequence (biology); Mathematics; Discrete mathematics; Combinatorics; Arithmetic; Chemistry","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.0007697406,0.0005108215,0.0005230919,0.001655873,0.00266548,0.002110516,0.0007250744,0.001160619,0.01543582],"category_scores_gemma":[0.002247534,0.0002968484,0.0006142617,0.001102892,0.003409386,0.004124797,0.002354843,0.002547457,0.003775414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001823509,"about_ca_system_score_gemma":0.001055201,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002674874,"about_ca_topic_score_gemma":0.002203181,"domain_scores_codex":[0.9992848,0.00008226902,0.00002715408,0.000249462,0.0002357853,0.0001205639],"domain_scores_gemma":[0.9994018,0.0002365515,0.00002887894,0.0001129328,0.0001614999,0.00005835164],"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.000008695017,0.000004042201,0.00004745967,0.00002245048,0.000002345572,0.00002879755,0.0001306516,0.00005076073,0.0001863543,0.9851193,0.006392369,0.008006786],"study_design_scores_gemma":[0.000009979179,0.00001303759,0.0002762698,0.00002636311,0.000007179704,0.0002325404,0.00005460601,0.000468579,0.0005479341,0.8377216,0.1606317,0.00001005896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01205203,0.006385529,0.0454891,0.004676529,0.001348327,0.00006006139,0.0003151375,0.0002132271,0.92946],"genre_scores_gemma":[0.4932378,0.006913105,0.03914631,0.005149789,0.002161229,0.0003519659,0.0003647127,0.0002777574,0.4523973],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01543582,"threshold_uncertainty_score":0.05163795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01828527883348703,"score_gpt":0.1888573896700938,"score_spread":0.1705721108366067,"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."}}