| other,5-10-P86-1038,bq | unification </term> . We have shown that the <term> | consistency problem | </term> for <term> formulas </term> with <term> | #14823 We have shown that the consistency problem for formulas with disjunctive values is NP-complete. |
|
|
|
|
| other,5-10-P86-1038,bq | unification </term> . We have shown that the <term> | consistency problem | </term> for <term> formulas </term> with <term> | #14823 We have shown that the consistency problem for formulas with disjunctive values is NP-complete. |
