Terms containing proofs of theorem and programs

Subject	English	Russian
progr.	proofs of theorem and programs	доказательства теорем и программ (ssn)
progr.	seminal paper on social processes and proofs of theorem and programs	оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn)