PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • We proved the so-called hierarchy results, the first ones, which showed that a slight increase in say the running time, I mean time bound, there was a slight increase, gives you new computations which you cannot do in the earlier bound.
http://www.w3.org/ns/prov#wasQuotedFrom
  • ethw.org