Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Intuitionistic_Theory_of_Types> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Intuitionistic_Theory_of_Types wikiPageID "1553209".
- Intuitionistic_Theory_of_Types wikiPageLength "40".
- Intuitionistic_Theory_of_Types wikiPageOutDegree "1".
- Intuitionistic_Theory_of_Types wikiPageRedirects Intuitionistic_type_theory.
- Intuitionistic_Theory_of_Types wikiPageRevisionID "53853741".
- Intuitionistic_Theory_of_Types wikiPageWikiLink Intuitionistic_type_theory.
- Intuitionistic_Theory_of_Types label "Intuitionistic Theory of Types".
- Intuitionistic_Theory_of_Types wasDerivedFrom Intuitionistic_Theory_of_Types?oldid=53853741.
- Intuitionistic_Theory_of_Types isPrimaryTopicOf Intuitionistic_Theory_of_Types.