PanLinx
русский
rus-000
неявная определимость
English
eng-000
implicit definability
PanLex
