|
|
||||
| { p(b,X), q(f(X),Y)} {p(a,X), q(X,b)} {p(b,X), q(f(X),Y)} { p(X,f(a)), q(f(X),Y)} { q(f(X),Y)} | |||
|
Summary: {¬ p(b,X), ¬ q(f(X),Y)} {p(a,X), q(X,b)} {p(b,X), ¬ q(f(X),Y)} {¬ p(X,f(a)), q(f(X),Y)} |
|||
|
Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH) |
|||
|
Collections: Computer Technologies and Information Sciences |
|||
