PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Prove that 6 divides ((n^3)-n) whenever n is a non negative integer by using inductions... basis step and inductive step..
http://www.w3.org/ns/prov#wasQuotedFrom
  • openstudy.com