PanLinx
русский
rus-000
дедуктивное замыкание
English
eng-000
deductive closure
PanLex