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

mechanical theorem proving
.טכנול	αυτόματο συμπέρασμα; μηχανική απόδειξη θεωρημάτων