PanLinx
English
eng-000
truth maintenance
русский
rus-000
поддержание достоверности
PanLex