The following pages link to (Q4503912):
Displaying 5 items.
- On Skolemization in constrained logics (Q1380406) (← links)
- A resolution principle for a logic with restricted quantifiers (Q1596540) (← links)
- Extending \(H_1\)-clauses with disequalities (Q1944188) (← links)
- BDI: a new decidable clause class (Q2987061) (← links)
- A resolution principle for clauses with constraints (Q6488530) (← links)