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

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	Coping mathematically with the programming problem obviously implies that we regard the programming language we use as some sort of formal system, and each program we consider as some sort of formal object.
http://www.w3.org/ns/prov#wasQuotedFrom	utexas.edu