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

automatic theorem proving מתח
.תִכנו	автоматическое доказательство теорем (ssn)