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

nonresolution theorem proving
.בינה	非归结定理证明