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

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	Highly formal correctness proofs have been given; also correctness proofs have been given for normal programs", i.e. programs not written with a proof procedure in mind.
http://www.w3.org/ns/prov#wasQuotedFrom	utexas.edu