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

proof-system language מתח
.מחקר, .תִכנו	язык системы автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)