PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Assuming that r is an integer and s is an non-negative integer smaller than 4, u/2 can be rewritten as u/2 r+s/4.
http://www.w3.org/ns/prov#wasQuotedFrom
  • patentgenius.com