scientific article; zbMATH DE number 1037485
From MaRDI portal
Publication:4345253
Recommendations
Cited in
(21)- scientific article; zbMATH DE number 1414298 (Why is no real title available?)
- Larry Wos: visions of automated reasoning
- Set of support, demodulation, paramodulation: a historical perspective
- scientific article; zbMATH DE number 3986666 (Why is no real title available?)
- Semantically-guided goal-sensitive reasoning: model representation
- scientific article; zbMATH DE number 1418280 (Why is no real title available?)
- The search efficiency of theorem proving strategies
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover
- Eliminating dublication with the hyper-linking strategy
- Shortening of proof length is elusive for theorem provers
- Theory decision by decomposition
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- On First-Order Model-Based Reasoning
- Limited resource strategy in resolution theorem proving
- Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
- scientific article; zbMATH DE number 2084332 (Why is no real title available?)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- History and prospects for first-order automated deduction
- Resolution remains hard under equivalence
- A relevance restriction strategy for automated deduction
- SGGS decision procedures
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4345253)
