About: http://webisa.webdatacommons.org/103717678

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	In contrast, a Formalist sees mathematics as no more than a sort of game played with axioms, theorems and definitions, with no bearing whatever on reality.
http://www.w3.org/ns/prov#wasQuotedFrom	centauri-dreams.org