Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Curry–Howard_equivalence> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Curry–Howard_equivalence wikiPageID "32938403".
- Curry–Howard_equivalence wikiPageLength "41".
- Curry–Howard_equivalence wikiPageOutDegree "1".
- Curry–Howard_equivalence wikiPageRedirects Curry–Howard_correspondence.
- Curry–Howard_equivalence wikiPageRevisionID "447750219".
- Curry–Howard_equivalence wikiPageWikiLink Curry–Howard_correspondence.
- Curry–Howard_equivalence label "Curry–Howard equivalence".
- Curry–Howard_equivalence wasDerivedFrom Curry–Howard_equivalence?oldid=447750219.
- Curry–Howard_equivalence isPrimaryTopicOf Curry–Howard_equivalence.