Pages that link to "Item:Q5881278"
From MaRDI portal
The following pages link to Proof by consistency in conditional equational theories (Q5881278):
Displaying 7 items.
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Induction using term orderings (Q5210765) (← links)
- On the connection between narrowing and proof by consistency (Q5210767) (← links)
- On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
- Inductive theorem proving by consistency for first-order clauses (Q5881188) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
- Higher-order proof by consistency (Q6567778) (← links)
