{"id":"W4313383068","doi":"10.1007/978-3-031-21112-6_7","title":"Beta-Reduction and Substitution","year":2023,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Origins and Evolution of Life","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Substitution (logic); Reduction (mathematics); BETA (programming language); Notation; Computer science; Arithmetic; Mathematics; Programming language; Geometry","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":[],"consensus_categories":[],"category_scores_codex":[0.0001811041,0.0001829113,0.0001761134,0.0001956894,0.0007313495,0.000300342,0.0001302986,0.00004545095,0.0001262086],"category_scores_gemma":[4.781557e-7,0.0001657607,0.00003713005,0.0001150381,0.0007301609,0.000182719,0.0001544517,0.0001455234,0.0001260712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002981799,"about_ca_system_score_gemma":0.0001092577,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008734176,"about_ca_topic_score_gemma":7.547962e-7,"domain_scores_codex":[0.9989607,0.000002611778,0.0001856545,0.0004771058,0.000187887,0.0001860496],"domain_scores_gemma":[0.9995102,0.0000167363,0.0001129655,0.0001874772,0.00006755548,0.0001050401],"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":[8.210743e-7,0.000007493216,0.00002360718,0.000005020614,0.000009447495,1.673758e-7,0.00002414105,0.00008367813,0.00003721682,0.9664796,0.0003102076,0.03301862],"study_design_scores_gemma":[0.0005390063,0.000105981,0.002315087,0.00008469052,0.0001048892,0.00001584362,0.00005564427,0.005947475,0.00007122495,0.753065,0.236782,0.0009131867],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01042945,0.00008814051,0.2999007,0.0009130985,0.002750351,0.0008637156,0.0001249316,0.0003205447,0.6846091],"genre_scores_gemma":[0.9213951,0.00008994681,0.009718567,0.00008453583,0.002483781,0.00004076256,0.0002570776,0.00003718505,0.06589308],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9109656,"threshold_uncertainty_score":0.6759526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03840909785577139,"score_gpt":0.2622379269905731,"score_spread":0.2238288291348017,"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."}}