Proof-theoretic ordinal

http://dbpedia.org/resource/Proof-theoretic_ordinal

rdfs:label

rdf:langString Proof-theoretic ordinal

dbpedia-owl:wikiPageID

xsd:integer 14561894

dbpedia-owl:wikiPageRevisionID

xsd:integer 195747223

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 30

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Ordinal_analysis>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Ordinal_analysis>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Proof-theoretic_ordinal?oldid=195747223&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Proof-theoretic_ordinal>

data from the linked data cloud