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

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	One should include a symbol, or a blank line, or some sort of signal to indicate the end of the theorem if not using italics, or indentation. (Or maybe demand that theorem statements etc. be a single paragraph long.)
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com