PanLinx
русский
rus-000
процедура доказательства
English
eng-000
proof procedure
PanLex
