PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Finally, the transition table contains a series of instructions of the form qiaj???qi1aj1dk where q is a state, a is a symbol, and d is a number of cells to move the head left or right along the tape (including not moving it at all).
http://www.w3.org/ns/prov#wasQuotedFrom
  • catsynth.com