Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dependently_typed> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Dependently_typed wikiPageID "28114802".
- Dependently_typed wikiPageLength "28".
- Dependently_typed wikiPageOutDegree "1".
- Dependently_typed wikiPageRedirects Dependent_type.
- Dependently_typed wikiPageRevisionID "374818054".
- Dependently_typed wikiPageWikiLink Dependent_type.
- Dependently_typed wikiPageWikiLinkText "dependently typed".
- Dependently_typed label "Dependently typed".
- Dependently_typed wasDerivedFrom Dependently_typed?oldid=374818054.
- Dependently_typed isPrimaryTopicOf Dependently_typed.