| http://www.w3.org/ns/prov#value | - Once all variables have a clause of this form in the formula, a satisfying assignment of all of the variables may be generated by setting a variable to true if the formula contains the clause and setting it to false if the formula contains the clause .[1] If there were a clause not satisfied by this assignment, i.e., one in which both variables appeared with sign opposite to their appearances in t
|
