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

mechanical theorem-proving
כלל.	automatische Beweistechnik
mechanical theorem proving
.טכנול	mechanische Beweisführung