{"id":"W4205574221","doi":"10.1016/j.tcs.2016.12.016","title":"The search for a reduction in combinatory logic equivalent to λβ-reduction, Part II","year":2016,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Reduction (mathematics); Mathematics; Combinatory logic; Abstraction; Arithmetic; Algorithm; Discrete mathematics; Algebra over a field; Computer science; Pure mathematics; Programming language; Epistemology","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.001741121,0.0006832455,0.001264956,0.001591156,0.00219535,0.004630911,0.001744636,0.00193534,0.0152682],"category_scores_gemma":[0.00661263,0.0007110518,0.002771814,0.001563083,0.004561911,0.007322214,0.002713397,0.006203123,0.001580987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002058178,"about_ca_system_score_gemma":0.00170254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001483211,"about_ca_topic_score_gemma":0.001396406,"domain_scores_codex":[0.9985196,0.0003946758,0.00008002391,0.0003974299,0.0003490704,0.0002591949],"domain_scores_gemma":[0.9967098,0.002390674,0.0001195883,0.0003214738,0.00025924,0.0001992441],"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.0001628275,0.00008571705,0.000471697,0.0002624098,0.00003497599,0.000164959,0.0002544309,0.001781299,0.002072093,0.9743344,0.004545212,0.01583001],"study_design_scores_gemma":[0.00003003719,0.00003225331,0.0002720565,0.00003951144,0.00002280118,0.000136994,0.0001564572,0.004081433,0.001090342,0.988647,0.005478256,0.00001282214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3396857,0.004585264,0.2850661,0.03284501,0.001501158,0.0003985527,0.000686225,0.001408151,0.3338239],"genre_scores_gemma":[0.849668,0.002128753,0.09931877,0.004474656,0.001118632,0.0002144682,0.001321035,0.0005821679,0.04117359],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0152682,"threshold_uncertainty_score":0.05107725,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448807832107794,"score_gpt":0.2931105218120522,"score_spread":0.2686224434909742,"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."}}