אנגלית ⇄ גרמנית סינית +

nonresolution theorem proving
.בינה	Nichtresolutions-Theorembeweisen; Theorembeweisen durch natürliche Deduktion