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

inductive assertion method
.טכנול	★ 归纳断言法; 归纳断言方法
.מֶרחָ	归纳断言法 (一种正确性证明技术)