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

resolution-based theorem prover
.בינה	Resolutionstheorembeweiser m; nach dem Resolutionsprinzip arbeitender automatischer Beweiser