| http://www.w3.org/ns/prov#value | - The problem solving section 1 repeats a cycle including generation of a partial solution and a test of checking if a partial solution satisfies a constraint so as to satisfy each of the given constraints C1, C2, C3, . . . until a proper solution is found or until it is determined that no solution is present.
|
