PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Now you need to find a number which multiplied by the double of the root you have found, i.e. the double of $23$ which is $46$, that product can be subtracted from $185$ and from the remainder joined with the $6$, the next digit of $54756$, can be subtracted the product of that number [with itself] with remainder not larger than the double of the root you will have found; so you will say that this
http://www.w3.org/ns/prov#wasQuotedFrom
  • ams.org