PanLinx
English
eng-000
deductively equivalent
русский
rus-000
дедуктивно эквивалентный
PanLex
