Dependent typing

http://dbpedia.org/resource/Dependent_typing

rdfs:label

rdf:langString Dependent typing

dbpedia-owl:wikiPageID

xsd:integer 23140424

dbpedia-owl:wikiPageRevisionID

xsd:integer 295139434

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 28

dbpedia-owl:wikiPageWikiLink

dbpedia:Dependent_type

dbpedia-owl:wikiPageRedirects

dbpedia:Dependent_type

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Dependent_typing?oldid=295139434&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Dependent_typing>

data from the linked data cloud