PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • On Sep 30, 4:01 pm, stevendaryl3...@yahoo.com (Daryl McCullough)wrote:> If G' means the Godel code of G, then G' is a natural number,> not a statement.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org