PanLinx
русский
rus-000
обобщённая логика
English
eng-000
generalized logic
PanLex