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

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	Cook showed that the system was relatively complete for partial correctness, meaning that if the triple (precondition, program, postcondition) was semantically valid, then there was a proof of it in the system.
http://www.w3.org/ns/prov#wasQuotedFrom	megasolutions.net