{"id":"W2229623334","doi":"10.1016/j.ic.2015.12.013","title":"Bounded Combinatory Logic and lower complexity","year":2016,"lang":"en","type":"article","venue":"Information and Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Northwestern Polytechnic","funders":"","keywords":"Bounded function; Class (philosophy); Mathematics; Distributivity; Discrete mathematics; Linear logic; Combinatory logic; Characterization (materials science); Complexity class; Polynomial; Computer science; Time complexity; Pure mathematics; Artificial intelligence; Distributive property","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.004141267,0.001071752,0.001981439,0.002881517,0.002603718,0.01039093,0.0032167,0.00241505,0.01355322],"category_scores_gemma":[0.01762807,0.000843393,0.002109773,0.0040455,0.01051339,0.01927852,0.004834633,0.01016018,0.001517089],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00765625,"about_ca_system_score_gemma":0.002458032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003611926,"about_ca_topic_score_gemma":0.003469042,"domain_scores_codex":[0.9942644,0.00169726,0.0002976665,0.001069176,0.001925974,0.000745632],"domain_scores_gemma":[0.9677657,0.02503479,0.0009915123,0.003616579,0.001564095,0.001027242],"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.00001922698,0.00001603015,0.0001551089,0.00004798593,0.000008440669,0.00001880495,0.0000771986,0.001040763,0.00009937504,0.9944569,0.001180339,0.002879751],"study_design_scores_gemma":[0.000004450545,0.000001918423,0.00005184968,0.000008147425,0.000004665038,0.00001230566,0.0000107493,0.00188783,0.00006651044,0.9969235,0.001024054,0.000003941532],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1520959,0.01753865,0.544486,0.04330232,0.0007109526,0.00008769987,0.001370184,0.001143844,0.2392644],"genre_scores_gemma":[0.9072625,0.00523035,0.05471795,0.002954713,0.001541636,0.0002211079,0.0009637419,0.0004656717,0.02664223],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01355322,"threshold_uncertainty_score":0.05555022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03073119147230182,"score_gpt":0.2548828748145271,"score_spread":0.2241516833422253,"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."}}