{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001574311,0.0004351587,0.0004196047,0.0005619752,0.0002468659,0.0005486805,0.00281452,0.0003202765,0.00003510791],"category_scores_gemma":[0.00005921725,0.000364941,0.0001311121,0.0004488423,0.0005686223,0.0008071149,0.001003766,0.0005760936,0.0001868087],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002082653,"about_ca_system_score_gemma":0.0002678447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002596467,"about_ca_topic_score_gemma":0.00001831661,"domain_scores_codex":[0.9967797,0.00008601929,0.0004358442,0.001060063,0.00093117,0.0007071535],"domain_scores_gemma":[0.9976316,0.0004205395,0.000312881,0.001246121,0.0001866953,0.0002021268],"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.000001683816,0.00002042909,0.0001204024,0.00002259179,0.000007097748,0.00001655913,0.0007131292,0.0002741733,0.00001495968,0.5756291,0.00001545186,0.4231645],"study_design_scores_gemma":[0.0002282965,0.0001263598,0.0002003821,0.00004016473,0.000009667177,0.00006346558,3.500146e-7,0.02147738,0.0006945674,0.9693128,0.007273478,0.0005731196],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00002461736,0.00145214,0.9805274,0.0001681809,0.00377042,0.0004477314,6.576714e-7,0.0002259319,0.01338294],"genre_scores_gemma":[0.9529843,0.00004166963,0.04394632,0.0006337467,0.0007319736,0.00001811168,0.000006752237,0.00003858081,0.001598587],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9529597,"threshold_uncertainty_score":0.9998803,"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."}}