Constructive mathematics

http://dbpedia.org/resource/Constructive_mathematics

rdf:langString Constructive mathematics
xsd:integer 185954
xsd:integer 853565015
xsd:nonNegativeInteger 56

data from the linked data cloud