| Both surveillance and proof also require accurate ammunition accounting systems and should form part of the "whole life management" of conventional ammunition. | И наблюдение, и проверка также требуют точных систем учета боеприпасов и должны быть частью «управления в течение всего срока службы» обычных боеприпасов. |
| E. Inspection, surveillance and proof | Инспекция, наблюдение и проверка |
| Is it another movie proof? | Это очередная проверка фильма? |
| This property plays a key role in a proof that testing whether a graph can be covered by four perfect matchings is NP-complete. | Это свойство играет ключевую роль в доказательстве, что проверка, можно ли покрыть граф четырьмя паросочетаниями, является NP-полной задачей. |
| A proof pressure test and a baseline initial burst test are intended to demonstrate the structural capability of the inner container. | Испытание на соответствие давлению и проверка базового показателя давления разрыва для новых резервуаров призваны продемонстрировать структурные возможности внутреннего корпуса резервуара. |
| Strict proof is possible only in formal sciences such as logic and mathematics, not natural sciences (where terms such as "validated" or "corroborated" are more appropriate). | Строгое доказательство возможно лишь в формальных науках, таких как логика и математика, но не в естественных науках, для которых больше подходят термины «подтверждение» или «проверка». |
| The primality proof for q = 42737 was performed by François Morain in 2007 with a distributed ECPP implementation running on several networks of workstations for 743 GHz-days on an Opteron processor. | Проверка простоты для q = 42737 была проведена Франсуа Мораном (François Morain) в 2007 году в проекте распределенных вычислений ECPP, реализованном на нескольких сетях станций, работающих на процессоре Opteron. |