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

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	The theorem-numbering is irrelevant - re-write the paper and re-post on the ArXiv; the best version of your paper is then right there front and center.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net