PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • least upper bound of A, then r < a <=L where r is a number less than L. since r < a <=L where r is a number less than L, and p is positive, then rp < pa <= pL. since rp < pa <= pL, and rp is a number less than pL, then pL is the least upper b
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathhelpforum.com