Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1481571> ?p ?o }
Showing triples 1 to 90 of
90
with 100 triples per page.
- Q1481571 subject Q7464734.
- Q1481571 subject Q8391405.
- Q1481571 subject Q8581097.
- Q1481571 abstract "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.".
- Q1481571 wikiPageExternalLink clache.
- Q1481571 wikiPageExternalLink combinators.html.
- Q1481571 wikiPageExternalLink index.htm.
- Q1481571 wikiPageExternalLink curry-howard.pdf.
- Q1481571 wikiPageExternalLink sici?sici=0003-049X%2819600615%29104%3A3%3C343%3AVEA%3E2.0.CO%3B2-W.
- Q1481571 wikiPageExternalLink logic-combinatory.
- Q1481571 wikiPageExternalLink 1183743187.
- Q1481571 wikiPageExternalLink LC.pdf.
- Q1481571 wikiPageExternalLink Wolfengagen_CLP-2003-En.djvu.
- Q1481571 wikiPageExternalLink birds.html.
- Q1481571 wikiPageExternalLink catalogue.asp?isbn=9780521898850.
- Q1481571 wikiPageExternalLink Founds-FP.ps.gz.
- Q1481571 wikiPageExternalLink library?a=p&p=about&c=curry.
- Q1481571 wikiPageWikiLink Q1089708.
- Q1481571 wikiPageWikiLink Q1166618.
- Q1481571 wikiPageWikiLink Q1182249.
- Q1481571 wikiPageWikiLink Q12525525.
- Q1481571 wikiPageWikiLink Q1410440.
- Q1481571 wikiPageWikiLink Q1474542.
- Q1481571 wikiPageWikiLink Q15490557.
- Q1481571 wikiPageWikiLink Q163310.
- Q1481571 wikiPageWikiLink Q17025821.
- Q1481571 wikiPageWikiLink Q176786.
- Q1481571 wikiPageWikiLink Q177251.
- Q1481571 wikiPageWikiLink Q177646.
- Q1481571 wikiPageWikiLink Q179976.
- Q1481571 wikiPageWikiLink Q1847646.
- Q1481571 wikiPageWikiLink Q188722.
- Q1481571 wikiPageWikiLink Q1893717.
- Q1481571 wikiPageWikiLink Q193076.
- Q1481571 wikiPageWikiLink Q21198.
- Q1481571 wikiPageWikiLink Q214969.
- Q1481571 wikiPageWikiLink Q21578.
- Q1481571 wikiPageWikiLink Q242028.
- Q1481571 wikiPageWikiLink Q2462350.
- Q1481571 wikiPageWikiLink Q269878.
- Q1481571 wikiPageWikiLink Q296187.
- Q1481571 wikiPageWikiLink Q2976255.
- Q1481571 wikiPageWikiLink Q309157.
- Q1481571 wikiPageWikiLink Q31.
- Q1481571 wikiPageWikiLink Q3154138.
- Q1481571 wikiPageWikiLink Q3305965.
- Q1481571 wikiPageWikiLink Q3513826.
- Q1481571 wikiPageWikiLink Q383994.
- Q1481571 wikiPageWikiLink Q4048691.
- Q1481571 wikiPageWikiLink Q4055684.
- Q1481571 wikiPageWikiLink Q4068178.
- Q1481571 wikiPageWikiLink Q4217267.
- Q1481571 wikiPageWikiLink Q441178.
- Q1481571 wikiPageWikiLink Q4468156.
- Q1481571 wikiPageWikiLink Q449711.
- Q1481571 wikiPageWikiLink Q45113.
- Q1481571 wikiPageWikiLink Q467606.
- Q1481571 wikiPageWikiLink Q4897305.
- Q1481571 wikiPageWikiLink Q49823.
- Q1481571 wikiPageWikiLink Q5199278.
- Q1481571 wikiPageWikiLink Q5421271.
- Q1481571 wikiPageWikiLink Q5421724.
- Q1481571 wikiPageWikiLink Q5597094.
- Q1481571 wikiPageWikiLink Q592911.
- Q1481571 wikiPageWikiLink Q6295979.
- Q1481571 wikiPageWikiLink Q670180.
- Q1481571 wikiPageWikiLink Q7051809.
- Q1481571 wikiPageWikiLink Q7239631.
- Q1481571 wikiPageWikiLink Q730974.
- Q1481571 wikiPageWikiLink Q7464734.
- Q1481571 wikiPageWikiLink Q7623620.
- Q1481571 wikiPageWikiLink Q76505.
- Q1481571 wikiPageWikiLink Q818930.
- Q1481571 wikiPageWikiLink Q824553.
- Q1481571 wikiPageWikiLink Q8391405.
- Q1481571 wikiPageWikiLink Q845546.
- Q1481571 wikiPageWikiLink Q852732.
- Q1481571 wikiPageWikiLink Q857813.
- Q1481571 wikiPageWikiLink Q8581097.
- Q1481571 wikiPageWikiLink Q910361.
- Q1481571 wikiPageWikiLink Q92611.
- Q1481571 wikiPageWikiLink Q92629.
- Q1481571 wikiPageWikiLink Q92741.
- Q1481571 wikiPageWikiLink Q935944.
- Q1481571 wikiPageWikiLink Q965432.
- Q1481571 wikiPageWikiLink Q975734.
- Q1481571 type Thing.
- Q1481571 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.".
- Q1481571 label "Combinatory logic".
- Q1481571 differentFrom Q76505.