PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The sum of the proper divisors of the last term of the sequence is equal to the first number. (A proper divisor of a number is a positive factor of that number other than the number itself.
http://www.w3.org/ns/prov#wasQuotedFrom
  • transum.org