Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Binary_combinatory_logic> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Binary_combinatory_logic abstract "Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1. BCL has applications in the theory of program-size complexity (Kolmogorov complexity).".
- Binary_combinatory_logic wikiPageExternalLink cl.html.
- Binary_combinatory_logic wikiPageID "2296426".
- Binary_combinatory_logic wikiPageLength "2695".
- Binary_combinatory_logic wikiPageOutDegree "13".
- Binary_combinatory_logic wikiPageRevisionID "608143629".
- Binary_combinatory_logic wikiPageWikiLink Backus-Naur_form.
- Binary_combinatory_logic wikiPageWikiLink Backus–Naur_Form.
- Binary_combinatory_logic wikiPageWikiLink Binary_lambda_calculus.
- Binary_combinatory_logic wikiPageWikiLink Category:Algorithmic_information_theory.
- Binary_combinatory_logic wikiPageWikiLink Category:Combinatory_logic.
- Binary_combinatory_logic wikiPageWikiLink Combinatory_logic.
- Binary_combinatory_logic wikiPageWikiLink Denotational_semantics.
- Binary_combinatory_logic wikiPageWikiLink Iota_and_Jot.
- Binary_combinatory_logic wikiPageWikiLink Kolmogorov_complexity.
- Binary_combinatory_logic wikiPageWikiLink Operational_semantics.
- Binary_combinatory_logic wikiPageWikiLink Parsing.
- Binary_combinatory_logic wikiPageWikiLink Rewriting.
- Binary_combinatory_logic wikiPageWikiLink Turing-complete.
- Binary_combinatory_logic wikiPageWikiLink Turing_completeness.
- Binary_combinatory_logic wikiPageWikiLinkText "Binary combinatory logic".
- Binary_combinatory_logic hasPhotoCollection Binary_combinatory_logic.
- Binary_combinatory_logic wikiPageUsesTemplate Template:Reflist.
- Binary_combinatory_logic subject Category:Algorithmic_information_theory.
- Binary_combinatory_logic subject Category:Combinatory_logic.
- Binary_combinatory_logic hypernym Formulation.
- Binary_combinatory_logic type Article.
- Binary_combinatory_logic type Drug.
- Binary_combinatory_logic type Model.
- Binary_combinatory_logic type Article.
- Binary_combinatory_logic type Model.
- Binary_combinatory_logic comment "Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1. BCL has applications in the theory of program-size complexity (Kolmogorov complexity).".
- Binary_combinatory_logic label "Binary combinatory logic".
- Binary_combinatory_logic sameAs m.071rr4.
- Binary_combinatory_logic sameAs Q4913882.
- Binary_combinatory_logic sameAs Q4913882.
- Binary_combinatory_logic wasDerivedFrom Binary_combinatory_logic?oldid=608143629.
- Binary_combinatory_logic isPrimaryTopicOf Binary_combinatory_logic.