PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • and E[2k] is the set of points P of said elliptic curve such that P added 2k times to itself gives the neutral element O when k is an integer greater than or equal to 1 then a point P=(x,y) of said elliptic curve yields by said halving the point
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com