אנגלית ⇄ גרמנית רוסית +

weakest precondition מתח
.טכנול	слабейшее предусловие; слабейшее входное условие