Pages that link to "Item:Q5210795"
From MaRDI portal
The following pages link to Associative-commutative deduction with constraints (Q5210795):
Displaying 12 items.
- Local simplification (Q1271570) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q1275020) (← links)
- Superposition with completely built-in abelian groups (Q1432887) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Equational theorem proving modulo (Q2055853) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- On narrowing, refutation proofs and constraints (Q5055818) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q5055850) (← links)
- Local simplification (Q5096297) (← links)
- Theorem proving modulo associativity (Q6560183) (← links)
- Positive deduction modulo regular theories (Q6560184) (← links)
