Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Constructive_type_theory> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Constructive_type_theory wikiPageID "1553211".
- Constructive_type_theory wikiPageLength "40".
- Constructive_type_theory wikiPageOutDegree "1".
- Constructive_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Constructive_type_theory wikiPageRevisionID "52480130".
- Constructive_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_type_theory wikiPageWikiLinkText "Constructive type theory".
- Constructive_type_theory wikiPageWikiLinkText "constructive type theory".
- Constructive_type_theory wikiPageWikiLinkText "constructive types".
- Constructive_type_theory label "Constructive type theory".
- Constructive_type_theory sameAs m.01yly1.
- Constructive_type_theory wasDerivedFrom Constructive_type_theory?oldid=52480130.
- Constructive_type_theory isPrimaryTopicOf Constructive_type_theory.