PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This "solution is a solution to $\ln(x^2+x)=-10$, but not to the original equation, because $\ln(x^2+x)$ has larger domain than $\ln(x)+\ln(x+1)$. (Also, you can see that there should only be one solution to the original equation, because $\ln(x)+\ln(x+1)$ is always increasing where it is defined.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com