Pages that link to "Item:Q1132862"

The following pages link to Tautology testing with a generalized matrix reduction method (Q1132862):

Displaying 4 items.

• On connections and higher-order logic (Q908896) (← links)
• On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
• A comparative study of several proof procedures (Q1836483) (← links)
• The linked conjunct method for automatic deduction and related search techniques (Q1836998) (← links)