PanLinx
русский
rus-000
логическое тождество
English
eng-000
logical identity
PanLex
