Resolution on formula-trees
From MaRDI portal
Publication:1098648
DOI10.1007/BF02737109zbMath0637.68102WikidataQ56459095 ScholiaQ56459095MaRDI QIDQ1098648
Publication date: 1988
Published in: Acta Informatica (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
Cites Work
- Seventy-five problems for testing automatic theorem provers
- Completely non-clausal theorem proving
- Untersuchungen über das logische Schliessen. I
- An improved proof procedure1
- Special relations in automated deduction
- A Machine-Oriented Logic Based on the Resolution Principle
- Proof theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item