PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • @A.R.S. - My guess is that the steps to check if there is a solution are the same as calculating the solution. (disclaimer: I am not a mathematician, so you may wish confirmation from the Real Guys :-))
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com