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