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

probabilistic proof theory מתח
.מָתֵי	теория вероятностных доказательств (gitbook.io Alex_Odeychuk)