Pages that link to "Item:Q5055849"
From MaRDI portal
The following pages link to AC-complete unification and its application to theorem proving (Q5055849):
Displayed 3 items.
- Superposition theorem proving for abelian groups represented as integer modules (Q1275020) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q5055850) (← links)