http://www.w3.org/ns/prov#value | - To make that conclusion, you need to find some way to get from the second equation to the first one, or some other argument that would imply a solution to the second is a solution to the first -- and such a thing may not exist, meaning that the second equation really does have solutions that are not solutions to the first equation.
|