Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Propositions-as-types> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Propositions-as-types wikiPageID "32938407".
- Propositions-as-types wikiPageRedirects Curry–Howard_correspondence.
- Propositions-as-types wikiPageRevisionID "447750294".
- Propositions-as-types label "Propositions-as-types".
- Propositions-as-types sameAs m.01lqbf.
- Propositions-as-types wasDerivedFrom Propositions-as-types?oldid=447750294.
- Propositions-as-types isPrimaryTopicOf Propositions-as-types.