Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Intensional_type_theory> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Intensional_type_theory wikiPageID "33974084".
- Intensional_type_theory wikiPageLength "122".
- Intensional_type_theory wikiPageOutDegree "2".
- Intensional_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Intensional_type_theory wikiPageRevisionID "464393442".
- Intensional_type_theory wikiPageWikiLink Category:Type_theory.
- Intensional_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Intensional_type_theory wikiPageWikiLinkText "intensional type theory".
- Intensional_type_theory wikiPageWikiLinkText "intensional".
- Intensional_type_theory wikiPageUsesTemplate Template:R_with_possibilities.
- Intensional_type_theory subject Category:Type_theory.
- Intensional_type_theory label "Intensional type theory".
- Intensional_type_theory wasDerivedFrom Intensional_type_theory?oldid=464393442.
- Intensional_type_theory isPrimaryTopicOf Intensional_type_theory.