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

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	Therefore, if Y is an unprovable statement in a formal system, there is no statement X in that system such that X is equivalent to the implication (X ??? Y).
http://www.w3.org/ns/prov#wasQuotedFrom	wikipedia.org