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

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	ROPs may also be given names, especially when the logical connective of which the truth table is an extension is a simple one, such as AND, XOR or SRC (source).
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net