Title: Vyvod v sistemakh produkt͡siĭ s nedoopredelennyni obe̋ktami
Subjects: Automatic theorem proving, Artificial intelligence