Pages that link to "Item:Q1111540"

The following pages link to The automation of syllogistic. I: Syllogistic normal forms (Q1111540):

Displaying 3 items.

• A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
• The automation of syllogistic. II: Optimization and complexity issues (Q1813824) (← links)
• Three-variable statements of set-pairing (Q1885036) (← links)