{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005470781,0.0007649375,0.0006681685,0.00190723,0.001708139,0.004071501,0.0008476747,0.0006656655,0.03559566],"category_scores_gemma":[0.0009622318,0.0004070796,0.0008645592,0.002041006,0.003136806,0.004963509,0.00141209,0.002400118,0.01169089],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003663313,"about_ca_system_score_gemma":0.001836142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004347493,"about_ca_topic_score_gemma":0.005986337,"domain_scores_codex":[0.9994955,0.00009985435,0.00002663663,0.0001068271,0.0002162002,0.00005486412],"domain_scores_gemma":[0.9996598,0.0001276538,0.00001426884,0.00007261284,0.00008838369,0.00003728821],"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.000009107065,0.000007228948,0.00006585351,0.0001465777,0.000007578951,0.00003911407,0.0001787146,0.0002069109,0.0002525863,0.9174317,0.05613625,0.0255184],"study_design_scores_gemma":[0.000005438171,0.000005432682,0.0001941076,0.00009295828,0.000007852144,0.0001470743,0.00007095368,0.0003236847,0.0002331715,0.5017838,0.4971267,0.000008772451],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00202811,0.02383371,0.04649727,0.003542094,0.0009922084,0.00004750764,0.001204306,0.0006744028,0.9211804],"genre_scores_gemma":[0.1169657,0.03812315,0.0372923,0.003068015,0.00190183,0.0002052141,0.002759751,0.001165325,0.7985187],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.03559566,"threshold_uncertainty_score":0.1190794,"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."}}