PanLinx
English
eng-000
recursively representable
русский
rus-000
рекурсивно представимый
PanLex
