ספרדית ⇄ איטלקית אנגלית גרמנית דנית הולנדית יוונית פורטוגלית פינית צרפתית שוודית +

deducción automática
.טכנול	mechanische Beweisführung
.כַּלְ	automatischer Abzug