PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ??? If the 'easy' option is chosen, the result of the ifactor call will be a product of the factors that were easy to compute, and one or more names of the form _c||m_n indicating an m-digit composite number that was not factored where the n is an integer which preserves (but does not imply) the uniqueness of this composite.
http://www.w3.org/ns/prov#wasQuotedFrom
  • maplesoft.com