Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Propositions_as_Types_interpretation> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Propositions_as_Types_interpretation wikiPageID "33974412".
- Propositions_as_Types_interpretation wikiPageLength "41".
- Propositions_as_Types_interpretation wikiPageOutDegree "1".
- Propositions_as_Types_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Propositions_as_Types_interpretation wikiPageRevisionID "464400112".
- Propositions_as_Types_interpretation wikiPageWikiLink Curry–Howard_correspondence.
- Propositions_as_Types_interpretation label "Propositions as Types interpretation".
- Propositions_as_Types_interpretation wasDerivedFrom Propositions_as_Types_interpretation?oldid=464400112.
- Propositions_as_Types_interpretation isPrimaryTopicOf Propositions_as_Types_interpretation.