Displaying similar documents to “О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством”