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

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	I see that isomorphism is 00-equivalence and equality is (???1)(-1)-equivalence, which is ugly enough but the sort of thing that does happen.
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org