Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Intuitionistic_arithmetic> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Intuitionistic_arithmetic wikiPageID "5507904".
- Intuitionistic_arithmetic wikiPageRedirects Heyting_arithmetic.
- Intuitionistic_arithmetic wikiPageRevisionID "57903721".
- Intuitionistic_arithmetic label "Intuitionistic arithmetic".
- Intuitionistic_arithmetic sameAs m.07m609.
- Intuitionistic_arithmetic wasDerivedFrom Intuitionistic_arithmetic?oldid=57903721.
- Intuitionistic_arithmetic isPrimaryTopicOf Intuitionistic_arithmetic.