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

computer-checkable proof מתח
.טכנול	проверяемое на компьютере доказательство (gitbook.io Alex_Odeychuk); проверяемое компьютером доказательство (Alex_Odeychuk)