Pages that link to "Item:Q1096608"

The following pages link to Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608):

Displayed 2 items.

• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) ‎ (← links)
• The automation of syllogistic. I: Syllogistic normal forms (Q1111540) ‎ (← links)