{"id":"W1778672286","doi":"10.1007/978-3-642-31374-5_14","title":"Theory Presentation Combinators","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Combinatory logic; Presentation (obstetrics); Computer science; Key (lock); Ideal (ethics); Semantics (computer science); Programming language; Extension (predicate logic); Algebra over a field; Theoretical computer science; Mathematics; Pure mathematics; Philosophy; 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.001402191,0.001474542,0.0013966,0.003884776,0.003747786,0.01205764,0.002158309,0.001932939,0.0601176],"category_scores_gemma":[0.003826826,0.001428719,0.001701923,0.004142526,0.004880042,0.01752472,0.004442275,0.005892487,0.02040354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003410796,"about_ca_system_score_gemma":0.001477972,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001144983,"about_ca_topic_score_gemma":0.001078071,"domain_scores_codex":[0.9979442,0.0006050871,0.0001550311,0.0005743631,0.0005105228,0.0002108815],"domain_scores_gemma":[0.9984739,0.0005602918,0.00007771021,0.0004309782,0.0003193934,0.0001376939],"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.000006299451,0.000008727841,0.00004090284,0.0000472948,0.000004517972,0.00001841288,0.000192833,0.0001046739,0.0001197649,0.9773681,0.01063867,0.01144978],"study_design_scores_gemma":[0.000006869272,0.000004502358,0.00003196152,0.00004225971,0.000007306293,0.0001002189,0.0000816338,0.0004289423,0.000238045,0.9093598,0.08968944,0.000009157521],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.006295479,0.006468805,0.289642,0.005007881,0.001749965,0.0001324392,0.001500115,0.002508306,0.6866952],"genre_scores_gemma":[0.3372245,0.0109693,0.1507624,0.003279783,0.003352975,0.0006349877,0.005512825,0.003569026,0.4846942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0601176,"threshold_uncertainty_score":0.2011134,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01981474727611228,"score_gpt":0.2521646723384521,"score_spread":0.2323499250623399,"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."}}