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