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