DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ ?s ?p <http://dbpedia.org/resource/Intuitionistic_type_theory> }
Showing triples 101 to 104 of
104
with
100
triples per page.
first
previous
Vladimir_Voevodsky
wikiPageWikiLink
Intuitionistic_type_theory
.
List_of_mathematical_symbols
category
Intuitionistic_type_theory
.
Per_Martin-Löf
seeAlso
Intuitionistic_type_theory
.
Intuitionistic_type_theory
primaryTopic
Intuitionistic_type_theory
.
first
previous