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

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	QED, a logic circuit or a processor does not intrinsically do maths, though it is easy to abstract some algorithmic results to symbolise mathematics, while other results might symbolise other forms of logic.
http://www.w3.org/ns/prov#wasQuotedFrom	osnews.com