Примеры в контексте "Verifier - Верификатор"

• проверяющей стороне
• проверяющий
• проверяющего
• контролером
• верификатор
• свидетельство
• Verifier
• заданными верификаторами
• проверяющая сторона

Formulas preceded by colon are goals and verifier tries to deduce them from the precedent formulas.
Формулы, предваренные двоеточием, рассматриваются как цели, и верификатор пытается вывести их из предшествующих формул.