PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • FIG. 11 shows a carry-save adder structure, like the one described in FIG. 8, being used in one alternative embodiment of the invention to perform a subtraction operation A???B, where B is a number represented by any one of its possible valid redundant representations.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com