PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The invention is expressed as an improvement in an arithmetic processor which performs arithmetic operations including addition, subtraction, multiplication, divisior and square root, the operations being performed on a pair of binary operands A and B, the operations producing a result, and at least the division and square root operations providing a remainder.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com