PanLinx
русский
rus-000
эвристика доказательства теоремы
English
eng-000
theorem-proving heuristics
PanLex