PanLinx
русский
rus-000
локальная разрешимость
English
eng-000
local solvability
PanLex