PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This imposes no great penalty because if a subsequent execution actually begins at some instruction other than the first instruction, the execution will be in E-Mode and new Z-Code will be produced for the portion of that instruction sequence which was re-executed in E-Mode.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com