{"id":"W7110653406","doi":"","title":"Review of forall x: Calgary An Introduction to Formal Logic","year":2024,"lang":"","type":"article","venue":"ScholarWorks @ UTRGV (The University of Texas Rio Grande Valley)","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Formal methods; Philosophy of logic; Theory; Formal system","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002699332,0.000765711,0.0008746181,0.005269689,0.0013109,0.003488571,0.001318117,0.002431131,0.01551091],"category_scores_gemma":[0.01074654,0.0004306782,0.0005657231,0.004102305,0.004617322,0.00394756,0.002129676,0.004638281,0.006224698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00717889,"about_ca_system_score_gemma":0.008891149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01982689,"about_ca_topic_score_gemma":0.02390418,"domain_scores_codex":[0.9985406,0.0004076931,0.000105826,0.0002648364,0.0005470228,0.0001340781],"domain_scores_gemma":[0.9944068,0.002535774,0.0002631047,0.0002746488,0.002107721,0.0004119893],"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.00002751976,0.00001029974,0.00009842479,0.001154194,0.00002124304,0.00004891436,0.000174581,0.0001591377,0.0001036935,0.05856943,0.8399994,0.09963324],"study_design_scores_gemma":[0.000005521816,0.000003983196,0.0001242429,0.0007246225,0.000006795908,0.00004584161,0.00003220271,0.00002292762,0.00002918484,0.005638706,0.9933599,0.000006220802],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0002364631,0.8270785,0.002957082,0.1162635,0.03313571,0.00001681356,0.0001879242,0.0001017442,0.02002229],"genre_scores_gemma":[0.01007379,0.7739034,0.003365947,0.0832087,0.05812452,0.00008538475,0.0004739575,0.0003342291,0.07043004],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.01982689,"threshold_uncertainty_score":0.05208671,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01698445129767888,"score_gpt":0.2437019763820746,"score_spread":0.2267175250843957,"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."}}