Pages that link to "Item:Q4180323"
From MaRDI portal
The following pages link to Sentences with three quantifiers are decidable in set theory (Q4180323):
Displaying 3 items.
- Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator (Q795031) (← links)
- The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
- The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719) (← links)
