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 "33974415".
- 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 "464400145".
- 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=464400145.
- Propositions_as_types_interpretation isPrimaryTopicOf Propositions_as_types_interpretation.