PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Proof of a problem concerning least upper bounds Proof of a problem concerning least upper bounds Printable View August 21st 2011, 08:17 PM Syrus Proof of a problem concerning least upper bounds The exercise: Suppose that R is a partial order on A, B1 ??? A, B2 ??? A, x1 is the least upper bound of B1, and x2 is the least upper bound of B2.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathhelpforum.com