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

theorem prover
.טכנול	stellingbewijzer m; theorem prover