PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • PROC(S)=(S???{(e, d, V)|neither e nor d is a call block})???{(x, y, V)|???a path p from the call block x to call block y in S, and V is the dependence vector along p}.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com