The following pages link to (Q5541351):
Displaying 13 items.
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)
- A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- The search efficiency of theorem proving strategies (Q5210762) (← links)
- Hyper tableaux (Q5235250) (← links)
- An algorithm for the retrieval of unifiers from discrimination trees (Q5235251) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
