PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Find the smallest value of my so that any collection of m distinct positive integers must contain at least two numbers whose sum or difference is a multiple of 10. prove that your value is best possible pigeonhole principle,
http://www.w3.org/ns/prov#wasQuotedFrom
  • softmath.com