PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In such a direct-multiplication digital multiplier for numbers in signed-magnitude representation, the multiplicand, A, is a L-bit word and the multiplier, B, is a M-bit word as shown below ##EQU9## where ai and bi are either 0 or 1.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com