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

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	Hoare logics rely on the fact that logic formulae can encode, or specify, program states, including environments, stacks, heaps, path conditions, data constraints, and so on.
http://www.w3.org/ns/prov#wasQuotedFrom	illinois.edu