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

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	Some systems have back doors to creating proved theorems", such as importing the statements (but not the proofs) of previously proved results from disk, and trust that the user will not abuse this.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net