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

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	For example, could you give examples of manifolds you could prove to be homeomorphic (or homotopic, or simple homotopic, or whatever), but where you had no algorithmic way of finding the homeomorphism between them explicitly?
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net