| http://www.w3.org/ns/prov#value | - But its description might bear no logical or discernible relation to 3-SAT. To make this precise, maybe the right definition of an accidental solution is that it is not provable that the machine is a solution, even though one could observe empirically that it is (because it would be).
|
