PanLinx
English
eng-000
well-founded ordering
русский
rus-000
фундированное упорядочение
PanLex
