PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Here, in the division substep, the instruction including the constant may be divided into one or more instructions for respectively storing one or more divided constants into the storage buffer of the processor and an instruction for using the stored divided constants, where the divided constants are obtained by dividing the constant.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com