PanLinx
English
eng-000
decision calculus
русский
rus-000
исчисление решений
PanLex