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

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	Solvers of all kinds do not give a damn, if you manage to make some solver that hacks around when trying to find solution, it could e.g. change the problem to calculating 2*2 and the print 4 and be done .
http://www.w3.org/ns/prov#wasQuotedFrom	arstechnica.com