| other,15-7-P86-1038,bq | </term> , which can be used to simplify <term> | formulas | </term> . <term> Unification </term> is attractive | #14787 This logical model yields a calculus of equivalences, which can be used to simplify formulas . |
| other,8-10-P86-1038,bq | <term> consistency problem </term> for <term> | formulas | </term> with <term> disjunctive values </term> | #14826 We have shown that the consistency problem for formulas with disjunctive values is NP-complete. |
