PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • It follows from an axiom of real arithmetic that 1 x 1 = 1.>From ab = a added to itself b times, 1 x 1 = 1 + 1 i.e. 1 added to itself 1 time, but 1 + 1 = 2 so 1 x 1 = 2 which is false, so the theorem ab = a added to itself b times is false.I believe the logic of all the above is correct.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org