PanLinx
русский
rus-000
логически определенная формула
English
eng-000
logically determinate formula
PanLex