Pages that link to "Item:Q3787974"

The following pages link to Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae (Q3787974):

Displaying 2 items.

• The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
• A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)