PanLinx
русский
rus-000
теоремная схема
English
eng-000
theorem scheme
PanLex