Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Martin-Lxc3xb6fs_type_theory> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Martin-Lxc3xb6fs_type_theory wikiPageID "2944854".
- Martin-Lxc3xb6fs_type_theory wikiPageLength "40".
- Martin-Lxc3xb6fs_type_theory wikiPageOutDegree "1".
- Martin-Lxc3xb6fs_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Lxc3xb6fs_type_theory wikiPageRevisionID "52864162".
- Martin-Lxc3xb6fs_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Lxc3xb6fs_type_theory wikiPageWikiLinkText "Martin-Löf's type theory".
- Martin-Lxc3xb6fs_type_theory label "Martin-Löf's type theory".
- Martin-Lxc3xb6fs_type_theory wasDerivedFrom Martin-Lxc3xb6fs_type_theory?oldid=52864162.
- Martin-Lxc3xb6fs_type_theory isPrimaryTopicOf Martin-Lxc3xb6fs_type_theory.