PanLinx
English
eng-000
consistency checker
русский
rus-000
программа проверки на непротиворечивость
PanLex