Hilbert-style deduction system

http://dbpedia.org/resource/Hilbert-style_deduction_system

rdfs:label

rdf:langString Hilbert-style deduction system

dbpedia-owl:wikiPageID

xsd:integer 22417852

dbpedia-owl:wikiPageRevisionID

xsd:integer 283954351

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 28

dbpedia-owl:wikiPageWikiLink

dbpedia:Hilbert_system

dbpedia-owl:wikiPageRedirects

dbpedia:Hilbert_system

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Hilbert-style_deduction_system?oldid=283954351&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Hilbert-style_deduction_system>

data from the linked data cloud