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

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