| Subject | English | Russian |
| math. | outline of proof | набросок доказательства |
| math. | outline of the proof | эскиз доказательства (LOlga) |
| math. | proof in outline | набросок доказательства |
| progr. | proof outline | схема доказательства (программа с добавленными утверждениями, достаточными для того, чтобы убедить читателя в её корректности. В полной схеме доказательства утверждение ставится до и после каждого оператора ssn) |
| progr. | proof outlines | наброски доказательств (ssn) |