Pages that link to "Item:Q1944188"
From MaRDI portal
The following pages link to Extending \(H_1\)-clauses with disequalities (Q1944188):
Displaying 4 items.
- Extension and equivalence problems for clause minimal formulae (Q1777408) (← links)
- 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)