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 "33974411".
- 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 "464400091".
- 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=464400091.
- Propositions-as-Types_interpretation isPrimaryTopicOf Propositions-as-Types_interpretation.