Pages that link to "Item:Q810491"
From MaRDI portal
The following pages link to Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs (Q810491):
Displaying 3 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\) (Q912082) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
