Pages that link to "Item:Q1944188"
From MaRDI portal
The following pages link to Extending \(H_1\)-clauses with disequalities (Q1944188):
Displayed 3 items.
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
- Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses (Q2914718) (← links)
- Paths, tree homomorphisms and disequalities for -clauses (Q4961723) (← links)