| other,7-7-P86-1038,bq | model </term> yields a calculus of <term> | equivalences | </term> , which can be used to simplify <term> | #14779 This logical model yields a calculus of equivalences , which can be used to simplify formulas. |
|
|
|
|
| other,7-7-P86-1038,bq | model </term> yields a calculus of <term> | equivalences | </term> , which can be used to simplify <term> | #14779 This logical model yields a calculus of equivalences , which can be used to simplify formulas. |
