This HTML5 document contains 8 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n10http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n2http://dbkwik.webdatacommons.org/resource/wHnqvu8r-qyrJocWqfzFiQ==
n6http://dbkwik.webdatacommons.org/resource/zdPAgHKSnq-aD16t78W7FA==
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://dbkwik.webdatacommons.org/resource/Z5ErjxQ_OwAQGiuRXCxn6A==
n4http://dbkwik.webdatacommons.org/resource/c714KlLuFIT86IHxwswrUg==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://dbkwik.webdatacommons.org/resource/yT3JrwLDjx1EXiHBG5CO8g==
n11http://dbkwik.webdatacommons.org/resource/yL4EMlnSkqD41sCQMHEggg==
n8http://dbkwik.webdatacommons.org/resource/M1APmcWsrzMlvCniFIpm7w==
xsdhhttp://www.w3.org/2001/XMLSchema#
n5http://dbkwik.webdatacommons.org/googology/property/
Subject Item
n4:
rdfs:label
Peano arithmetic
rdfs:comment
Peano arithmetic (also known as first-order arithmetic) is a first-order axiomatic theory over the natural numbers.
dcterms:subject
n8:
n5:wikiPageUsesTemplate
n6: n12:
n10:abstract
Peano arithmetic (also known as first-order arithmetic) is a first-order axiomatic theory over the natural numbers.
Subject Item
n2:
n3:
n4:
Subject Item
n11:
n3:
n4: