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