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

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	Take your favorite brach of mathematics, define some objects and some suitable functions and then you get all sorts of theorems for free (everything can be viewed through the 'category' lens. everything is a category)
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com