{"id":"W591226764","doi":"10.1017/cbo9780511809835.003","title":"Combinatory logic","year":2012,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00008978652,0.0003845258,0.0003722493,0.0001619736,0.0002119776,0.00005010929,0.001583902,0.0003564544,0.000006485701],"category_scores_gemma":[0.000004457337,0.0004250593,0.0002145397,0.00001027749,0.0002107632,0.000303635,0.00109292,0.000525236,0.0001650956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001760088,"about_ca_system_score_gemma":0.00007820782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008615159,"about_ca_topic_score_gemma":2.088889e-7,"domain_scores_codex":[0.9985406,0.00003734668,0.0001548552,0.0005750501,0.0002752743,0.0004169225],"domain_scores_gemma":[0.9983634,0.00006754759,0.0002196901,0.0009845794,0.000108854,0.0002558807],"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.000006597927,0.000008730144,8.416142e-7,0.00002666415,0.00003890706,0.0002401548,0.00003110256,0.000001303972,0.00001180356,0.9876776,0.008220328,0.003735975],"study_design_scores_gemma":[0.0003403632,0.00004975182,0.00001448991,0.00004685238,0.00005363558,0.00003051148,0.000005854953,0.00006887646,0.0001171463,0.001690387,0.99704,0.0005420948],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0000108303,0.0007651658,0.03551854,0.00002061759,0.0004960246,0.0002309555,0.0000245033,0.0003902098,0.9625431],"genre_scores_gemma":[0.002672721,0.0001180564,0.001157809,0.0002346793,0.0001041434,4.917408e-7,0.0000117089,0.0000272946,0.9956731],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9888197,"threshold_uncertainty_score":0.9998201,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02690515699241689,"score_gpt":0.1978688376213852,"score_spread":0.1709636806289683,"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."}}