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

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	Incidentally, there is a classical fact that given a set-theoretic isomorphism $A imes2 \overset\sim o B imes2$, you can construct an isomorphism $A \overset\sim o B$ without any axiom of choice.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net