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

Resolutionsstrategie f
.בינה	resolution strategy (in der Prädikatenlogik)