PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Similarly, in place of the adder 1922, a multiplier could multiply floating point numbers A and B. However, in the case of a multiplication, the selector signal circuit 1950 would control the selector circuit 1930 to select the zero value 1940, even if only one of the floating point numbers A or B were a denormalized number.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com