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

termination proof
.טכנול	Programmterminationsbeweis m; Terminationsbeweis m