Constructive reverse mathematics

http://dbpedia.org/resource/Constructive_reverse_mathematics

rdfs:label

rdf:langString Constructive reverse mathematics

dbpedia-owl:wikiPageID

xsd:integer 37454458

dbpedia-owl:wikiPageRevisionID

xsd:integer 519944277

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 57

dbpedia-owl:wikiPageWikiLink

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

dbpedia-owl:wikiPageRedirects

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

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:R_with_possibilities>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Constructive_reverse_mathematics?oldid=519944277&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Constructive_reverse_mathematics>

data from the linked data cloud