Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Combinatory_logic> ?p ?o }
- Combinatory_logic wikiPageWikiLink Unlambda.
- Combinatory_logic wikiPageWikiLink Willard_Van_Orman_Quine.
- Combinatory_logic wikiPageWikiLinkText "Combinatory logic".
- Combinatory_logic wikiPageWikiLinkText "Combinatory logic#Combinatory calculi".
- Combinatory_logic wikiPageWikiLinkText "Combinatory logic#Conversion of a lambda term to an equivalent combinatorial term".
- Combinatory_logic wikiPageWikiLinkText "Combinatory_logic".
- Combinatory_logic wikiPageWikiLinkText "abstraction elimination".
- Combinatory_logic wikiPageWikiLinkText "combinator".
- Combinatory_logic wikiPageWikiLinkText "combinators".
- Combinatory_logic wikiPageWikiLinkText "combinatory logic".
- Combinatory_logic wikiPageWikiLinkText "combinatory".
- Combinatory_logic wikiPageWikiLinkText "completeness of the S-K basis".
- Combinatory_logic wikiPageWikiLinkText "conversion process".
- Combinatory_logic wikiPageWikiLinkText "hooks and forks".
- Combinatory_logic wikiPageWikiLinkText "one-point basis".
- Combinatory_logic wikiPageWikiLinkText "primitive combinator".
- Combinatory_logic wikiPageWikiLinkText "reduction".
- Combinatory_logic hasPhotoCollection Combinatory_logic.
- Combinatory_logic wikiPageUsesTemplate Template:Citation.
- Combinatory_logic wikiPageUsesTemplate Template:Citation_needed.
- Combinatory_logic wikiPageUsesTemplate Template:Cite_book.
- Combinatory_logic wikiPageUsesTemplate Template:Distinguish2.
- Combinatory_logic wikiPageUsesTemplate Template:Main.
- Combinatory_logic wikiPageUsesTemplate Template:Reflist.
- Combinatory_logic wikiPageUsesTemplate Template:Spaces.
- Combinatory_logic subject Category:Combinatory_logic.
- Combinatory_logic subject Category:Lambda_calculus.
- Combinatory_logic subject Category:Logic_in_computer_science.
- Combinatory_logic hypernym Notation.
- Combinatory_logic type Article.
- Combinatory_logic type Model.
- Combinatory_logic type Software.
- Combinatory_logic type Article.
- Combinatory_logic type Model.
- Combinatory_logic type Thing.
- Combinatory_logic comment "Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.".
- Combinatory_logic label "Combinatory logic".
- Combinatory_logic differentFrom Combinational_logic.
- Combinatory_logic sameAs Lògica_combinatòria.
- Combinatory_logic sameAs Kombinatorische_Logik.
- Combinatory_logic sameAs Lógica_combinatoria.
- Combinatory_logic sameAs Logique_combinatoire.
- Combinatory_logic sameAs Lóxica_combinatoria.
- Combinatory_logic sameAs Kombinatorna_logika.
- Combinatory_logic sameAs Կոմբինատորային_տրամաբանություն.
- Combinatory_logic sameAs コンビネータ論理.
- Combinatory_logic sameAs Combinatorische_logica.
- Combinatory_logic sameAs Kombinatorisk_logikk.
- Combinatory_logic sameAs Rachunek_kombinatorów.
- Combinatory_logic sameAs Lógica_combinatória.
- Combinatory_logic sameAs m.0138gg.
- Combinatory_logic sameAs Комбинаторная_логика.
- Combinatory_logic sameAs Kombinatorna_logika.
- Combinatory_logic sameAs Q1481571.
- Combinatory_logic sameAs Q1481571.
- Combinatory_logic sameAs 组合子逻辑.
- Combinatory_logic wasDerivedFrom Combinatory_logic?oldid=683125149.
- Combinatory_logic isPrimaryTopicOf Combinatory_logic.