{"id":"W4409708748","doi":"10.1007/978-3-031-85352-4_5","title":"Semantics","year":2025,"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":"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":[],"consensus_categories":[],"category_scores_codex":[0.0007953012,0.001113179,0.0006812649,0.001751703,0.002211095,0.006251746,0.001487243,0.001168904,0.1073019],"category_scores_gemma":[0.0019505,0.0005576597,0.0008412933,0.001519122,0.002731857,0.01011722,0.002982432,0.002605928,0.05011292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001750285,"about_ca_system_score_gemma":0.001300692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001656731,"about_ca_topic_score_gemma":0.001242818,"domain_scores_codex":[0.9988688,0.000235795,0.00007001253,0.0003821981,0.0003179191,0.0001252231],"domain_scores_gemma":[0.9994406,0.0001229273,0.00002412419,0.0001795946,0.0001905025,0.00004227782],"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.00001022109,0.000008861864,0.00003007753,0.00003282662,0.000003356161,0.00001573573,0.0001622559,0.00008441826,0.000202528,0.9679249,0.01643079,0.01509403],"study_design_scores_gemma":[0.000007122283,0.00000463741,0.0000364748,0.00002255379,0.000005972273,0.0000534503,0.0001287066,0.0003414535,0.0004544367,0.7116795,0.2872603,0.000005418724],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002549,0.001142902,0.1458513,0.00282923,0.0008893528,0.0001203369,0.001908311,0.001929152,0.8427805],"genre_scores_gemma":[0.161149,0.002388869,0.06124692,0.002207948,0.001210724,0.0003534554,0.00561972,0.002561624,0.7632618],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1073019,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0212913131014724,"score_gpt":0.2544967184290531,"score_spread":0.2332054053275807,"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."}}