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

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	Standard examples of sentences $\varphi$ showing that this is not the case: $\mathrm{Con}(\mathsf{PA})$, Hercules wins the Hercules-Hydra game, $\mathrm{Con}(\mathsf{ZFC}+$there is a measurable cardinal$)$, etc.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com