Pages that link to "Item:Q1065783"
From MaRDI portal
The following pages link to Equational methods in first order predicate calculus (Q1065783):
Displaying 11 items.
- On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
- Rewrite method for theorem proving in first order theory with equality (Q1098649) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Socratic proofs for quantifiers (Q2499290) (← links)
- On the soundness and completeness of equational predicate logics (Q2761754) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- A Free Variable Version of the First-Order Predicate Calculus (Q3985544) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)