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