| http://www.w3.org/ns/prov#value | - Strictly, recursion does not need a termination condition; guaranteeing that recursion terminates limits the types of problems that the recursive function can solve, and there are some types of semantic presentations that do not require termination at all.
|