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

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	In contract programming, an invariant is a condition that must be true (by contract) before and after any public method is called.
http://www.w3.org/ns/prov#wasQuotedFrom	stackoverflow.com