Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Type-theoretic> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Type-theoretic wikiPageID "7188440".
- Type-theoretic wikiPageRedirects Type_theory.
- Type-theoretic wikiPageRevisionID "78246224".
- Type-theoretic label "Type-theoretic".
- Type-theoretic sameAs m.0b15c.
- Type-theoretic wasDerivedFrom Type-theoretic?oldid=78246224.
- Type-theoretic isPrimaryTopicOf Type-theoretic.