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 "1930028".
- Martin-Löf_Type_Theory wikiPageLength "40".
- Martin-Löf_Type_Theory wikiPageOutDegree "1".
- Martin-Löf_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Löf_Type_Theory wikiPageRevisionID "53712523".
- 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=53712523.
- Martin-Löf_Type_Theory isPrimaryTopicOf Martin-Löf_Type_Theory.