PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In the first paper I proved that if p is a prime number and A, B, C, D are large subsets of F_p, then the equation a+b = cd can be solved with a, b, c, d belonging to A, B, C and D, resp.
http://www.w3.org/ns/prov#wasQuotedFrom
  • uiuc.edu