{"id":"W2075116123","doi":"10.1016/j.tcs.2011.02.002","title":"The search for a reduction in combinatory logic equivalent to <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" display=\"inline\" overflow=\"scroll\"><mml:mi>λ</mml:mi><mml:mi>β</mml:mi></mml:math>-reduction","year":2011,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Scroll; Reduction (mathematics); Algorithm; Mathematics; Computer science; Artificial intelligence; Theology; Philosophy; 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.001477954,0.0005264226,0.001102061,0.001169073,0.001848127,0.00315032,0.001225164,0.002278345,0.02378797],"category_scores_gemma":[0.008093351,0.0006578847,0.002635795,0.00103118,0.002582374,0.004471455,0.00213955,0.003503777,0.003305029],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001565535,"about_ca_system_score_gemma":0.002101523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002178052,"about_ca_topic_score_gemma":0.004079027,"domain_scores_codex":[0.9987395,0.0003708711,0.00006498623,0.0003718882,0.0002412872,0.0002114037],"domain_scores_gemma":[0.9955395,0.003557157,0.00009784126,0.0003441176,0.0002775636,0.0001838906],"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.001046323,0.000505978,0.001895223,0.0009764544,0.0001379321,0.0009182813,0.001178799,0.009040025,0.01268272,0.8717149,0.03402844,0.06587498],"study_design_scores_gemma":[0.0002197931,0.0002070311,0.000662918,0.0001002765,0.0001333376,0.0005335209,0.0008766605,0.03046857,0.007728766,0.9410449,0.01797819,0.00004596457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4394377,0.001282456,0.3146917,0.02952604,0.001054951,0.000505474,0.001751834,0.004313831,0.207436],"genre_scores_gemma":[0.7943899,0.000516611,0.1644615,0.002945195,0.0003224595,0.0001677173,0.002393088,0.001082074,0.03372144],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02378797,"threshold_uncertainty_score":0.0795787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02598607967378215,"score_gpt":0.2623358634728863,"score_spread":0.2363497837991042,"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."}}