Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dependent_type_theory> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Dependent_type_theory wikiPageID "2378861".
- Dependent_type_theory wikiPageRedirects Dependent_type.
- Dependent_type_theory wikiPageRevisionID "20278091".
- Dependent_type_theory label "Dependent type theory".
- Dependent_type_theory sameAs m.06891z.
- Dependent_type_theory wasDerivedFrom Dependent_type_theory?oldid=20278091.
- Dependent_type_theory isPrimaryTopicOf Dependent_type_theory.