PanLinx
русский
rus-000
формализованная реализуемость
English
eng-000
formalized realizability
PanLex