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

automatic theoreme-proving מתח
.בַּלש	автоматическое доказательство теорем