| http://www.w3.org/ns/prov#value | - I know this is a subset of the halting problem, but I feel it is solvable; the halting problem is a problem due to the fact that for some subsets of programs, you just can not tell it may run forever, it may not, but I do not want to consider those cases, I just want to consider the cases where it WILL halt, or it WILL NOT halt, but first I have to distinguish between the three states.
|
