Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Martin-Loef_Type_Theory> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Martin-Loef_Type_Theory wikiPageID "16508398".
- Martin-Loef_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Loef_Type_Theory wikiPageRevisionID "200285747".
- Martin-Loef_Type_Theory label "Martin-Loef Type Theory".
- Martin-Loef_Type_Theory sameAs m.01yly1.
- Martin-Loef_Type_Theory wasDerivedFrom Martin-Loef_Type_Theory?oldid=200285747.
- Martin-Loef_Type_Theory isPrimaryTopicOf Martin-Loef_Type_Theory.