A new reduction rule for the connection graph proof procedure
From MaRDI portal
Publication:1114445
DOI10.1007/BF00297248zbMath0662.68103MaRDI QIDQ1114445
Publication date: 1988
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Reduction rules for resolution-based systems ⋮ A new subsumption method in the connection graph proof procedure
Cites Work
- A mechanical solution of Schubert's steamroller by many-sorted resolution
- Schubert's steamroller problem: Formulations and solutions
- Automated deduction by theory resolution
- On Matrices with Connections
- An Evaluation of an Implementation of Qualified Hyperresolution
- A Proof Procedure Using Connection Graphs
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A new reduction rule for the connection graph proof procedure
