Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Intuitionistic_theory_of_types> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Intuitionistic_theory_of_types wikiPageID "1553212".
- Intuitionistic_theory_of_types wikiPageRedirects Intuitionistic_type_theory.
- Intuitionistic_theory_of_types wikiPageRevisionID "53743041".
- Intuitionistic_theory_of_types label "Intuitionistic theory of types".
- Intuitionistic_theory_of_types sameAs m.01yly1.
- Intuitionistic_theory_of_types wasDerivedFrom Intuitionistic_theory_of_types?oldid=53743041.
- Intuitionistic_theory_of_types isPrimaryTopicOf Intuitionistic_theory_of_types.