PanLinx
русский
rus-000
гиперарифметическое вычисление
English
eng-000
hyperarithmetical computation
PanLex
