The following pages link to (Q4539642):
Displaying 6 items.
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- (Q5376325) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)