PanLinx
русский
rus-000
частичная полнота
English
eng-000
partial completeness
PanLex
