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