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

SL-Resolution f
.בינה	linear resolution with selection function; selected linear resolution; SL resolution