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

Resolutionstheorembeweiser m
.בינה	resolution-based theorem prover; resolution theorem prover