Title: Sistema PROVE--realizat͡s︡ii͡a︡ metoda vydelenii͡a︡ podt͡s︡eleĭ
Subjects: Automatic theorem proving