{"id":"W4313359522","doi":"10.1007/978-3-031-21112-6_9","title":"Theories","year":2023,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Axiom; Epistemology; Philosophy; Set (abstract data type); Set theory; Axiomatic system; Computer science; Linguistics; Mathematics; Programming language","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":[],"category_scores_codex":[0.0008410224,0.00109118,0.0006923982,0.002632105,0.00265086,0.006320842,0.002033078,0.001672999,0.1793234],"category_scores_gemma":[0.002668309,0.0006024273,0.0008427311,0.00201738,0.003064021,0.008264368,0.002716991,0.003750584,0.06605314],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002362311,"about_ca_system_score_gemma":0.001757818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002218165,"about_ca_topic_score_gemma":0.002159176,"domain_scores_codex":[0.9985037,0.0003264972,0.00006621076,0.0003851334,0.0005371074,0.0001814048],"domain_scores_gemma":[0.9991181,0.0002332865,0.00003656328,0.0002646782,0.000282667,0.00006463187],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006788526,0.000008043558,0.00002390543,0.0000265832,0.000002913511,0.000011994,0.00009705201,0.00008624678,0.00008870604,0.9661062,0.02213136,0.01141031],"study_design_scores_gemma":[0.000009929543,0.000005695959,0.00004027852,0.00004047903,0.000006453382,0.00004964379,0.0001683669,0.000431673,0.0003849696,0.6443658,0.3544914,0.000005274853],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001273349,0.0006611128,0.03201019,0.002014809,0.0005520903,0.0001023113,0.001274403,0.0005333367,0.9615785],"genre_scores_gemma":[0.0866173,0.001820246,0.02831456,0.001873323,0.0008477402,0.0003323049,0.005519158,0.0007616891,0.8739138],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8206766,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03031247819871805,"score_gpt":0.2585829433294015,"score_spread":0.2282704651306835,"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."}}