zbMath0637.03011MaRDI QIDQ3777987
N. K. Zamov
Publication date: 1987
zbMATH Keywords
first-order proof systems; resolution without Skolemization
Mathematics Subject Classification ID
03B10: Classical first-order logic
03B35: Mechanization of proofs and logical operations
Related Items