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

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	Now the three patches together are exactly the same as the original, except for changes in module_list.py (which needed rebasing anyway) and except for the CRLF line endings.
http://www.w3.org/ns/prov#wasQuotedFrom	sagemath.org