PanLinx
беларуская
bel-000
прэдыкатаў злічэнне
русский
rus-000
предикатов исчисление
PanLex