RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1987
Volume 293,
Number 5,
Pages
1046–1049
(Mi dan8172)
MATHEMATICS
The resolution method without Skolemization
N. K. Zamov
Kazan State University
UDC:
510.66
Presented:
A. P. Ershov
Received: 16.12.1985
Fulltext:
PDF file (548 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (548 kB)