Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dependently_typed_language> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- Dependently_typed_language wikiPageID "31959779".
- Dependently_typed_language wikiPageRedirects Dependent_type.
- Dependently_typed_language wikiPageRevisionID "432159393".
- Dependently_typed_language label "Dependently typed language".
- Dependently_typed_language wasDerivedFrom Dependently_typed_language?oldid=432159393.
- Dependently_typed_language isPrimaryTopicOf Dependently_typed_language.