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

Resolutionstheorembeweisen n
.בינה	resolution theorem proving