PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Divisibility by 8 [04/14/1997] Show that, if n is a positive integer, then 5^n+2*3^(n-1) + 1 is
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org