PanLinx
русский
rus-000
единичная парамодуляция
English
eng-000
unit paramodulation
PanLex