Publication:2754181
From MaRDI portal
zbMath0973.03014MaRDI QIDQ2754181
Publication date: 6 December 2001
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items