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

interpolating theorem prover מתח
.בינה	доказатель интерполяционных теорем (Microsoft Alex_Odeychuk)