PanLinx
eesti
ekk-000
abiteoreem
русский
rus-000
лемма
PanLex