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