| Subject | English | Russian |
| progr. | compilation/proof processes | процесс компиляции с доказыванием формальной корректности кода (Alex_Odeychuk) |
| automat. | error-proof the process | обеспечивать безотказность процесса (ssn) |
| math. | necessary proof process | необходимое средство доказательства (ssn) |
| math. | necessary proof processes | необходимые средства доказательства (ssn) |
| math. | proof process | средство доказательства (ssn) |
| biol. | proof reading process | процесс устранения ошибок (при молекулярном узнавании; напр.,при биосинтезе белков jagr6880) |
| biol. | proof reading process | корректирование (при молекулярном узнавании; напр., при биосинтезе белков jagr6880) |
| progr. | seminal paper on social processes and proofs of theorem and programs | оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn) |