{"id":"W4253273005","doi":"10.1007/978-3-662-07003-1_1","title":"Introduction","year":2004,"lang":"en","type":"book-chapter","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Natural number; Mathematics; Expressive power; Algebraically closed field; Real number; Algebra over a field; Discrete mathematics; Pure mathematics; Computer science; Theoretical 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0006002829,0.0007963735,0.0005811404,0.001660878,0.001437887,0.004866445,0.001869099,0.001859667,0.5330105],"category_scores_gemma":[0.002041665,0.0003793661,0.0005850627,0.001610766,0.0008490979,0.004257234,0.002032341,0.002224026,0.4155406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001411759,"about_ca_system_score_gemma":0.001551289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002162287,"about_ca_topic_score_gemma":0.003412612,"domain_scores_codex":[0.9994821,0.00005232086,0.00002131023,0.000119732,0.0002683462,0.00005619282],"domain_scores_gemma":[0.999255,0.0001172578,0.00002725264,0.0001243573,0.0003389768,0.0001371203],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002180839,0.00003696217,0.00007957863,0.0001568117,0.000002672131,0.0000436064,0.0001794196,0.0001172471,0.0003983522,0.07894759,0.7572923,0.1627236],"study_design_scores_gemma":[0.000001496649,0.00000418953,0.0000439145,0.00004984191,8.075533e-7,0.00003582676,0.00002695196,0.00002038346,0.00005060905,0.005691995,0.9940717,0.000002279144],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000282893,0.003643936,0.006469776,0.003124495,0.003304595,0.0001126924,0.001171292,0.0008185259,0.9810718],"genre_scores_gemma":[0.001384575,0.002289954,0.002194251,0.001279453,0.0007748191,0.00006428053,0.001005708,0.0002276323,0.9907793],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4669895,"threshold_uncertainty_score":0.6661038,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01331004098449851,"score_gpt":0.2083149114055697,"score_spread":0.1950048704210712,"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."}}