PanLinx
русский
rus-000
неразветвленное нормирование
English
eng-000
unramified valuation
PanLex