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

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	Adding a point to itself is a doubling operation. and then you need that 2000-years-old binary trick to create a multiplication from the double and add.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com