PanLinx
русский
rus-000
доказывание путём умозаключения
English
eng-000
inferential proof
PanLex