PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Assuming that at the instance when a state of q and r is formed, there are simultaneously written a parallel processing system comprising a program P for executing v, a program Q for generating a state of q, and a program R for generating a state of r, in this case for example such a description is programs 10-1, 10-2, and 10-3 as shown in FIG. 9.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com