Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Martin–Löf_type_theory> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Martin–Löf_type_theory wikiPageID "39887660".
- Martin–Löf_type_theory wikiPageLength "39".
- Martin–Löf_type_theory wikiPageOutDegree "1".
- Martin–Löf_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin–Löf_type_theory wikiPageRevisionID "563197483".
- Martin–Löf_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin–Löf_type_theory label "Martin–Löf type theory".
- Martin–Löf_type_theory wasDerivedFrom Martin–Löf_type_theory?oldid=563197483.
- Martin–Löf_type_theory isPrimaryTopicOf Martin–Löf_type_theory.