{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005727804,0.0007538602,0.0008031471,0.001148988,0.0013074,0.002668082,0.0007103041,0.0009574887,0.01507481],"category_scores_gemma":[0.001552304,0.0004705718,0.0006854198,0.001826924,0.005322127,0.004685237,0.001352211,0.003778975,0.005268254],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001855984,"about_ca_system_score_gemma":0.0007087124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001456702,"about_ca_topic_score_gemma":0.001044963,"domain_scores_codex":[0.9994523,0.0001740821,0.00002127776,0.0001216365,0.0001685856,0.000062031],"domain_scores_gemma":[0.9996508,0.0001888336,0.00001306758,0.00007296407,0.00005759418,0.00001669211],"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.000005988019,0.000004825303,0.00002074143,0.00001998574,0.000002638285,0.00001240252,0.00009407858,0.0001448019,0.0001046351,0.9846705,0.005492472,0.009426854],"study_design_scores_gemma":[0.00000290195,0.000002548825,0.00002835663,0.000008238419,0.000001942696,0.00003657027,0.00001877782,0.0001870408,0.0001236188,0.9695376,0.03005009,0.000002307896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.007188524,0.0114188,0.06668217,0.003801106,0.0009470481,0.00002889442,0.0002062273,0.0003271734,0.9094],"genre_scores_gemma":[0.4417533,0.01418105,0.04292323,0.003851641,0.002059436,0.0001844298,0.0007154743,0.0007995528,0.4935319],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01507481,"threshold_uncertainty_score":0.0504303,"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."}}