Pages that link to "Item:Q1777408"

The following pages link to Extension and equivalence problems for clause minimal formulae (Q1777408):

Displaying 2 items.

• Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621) (← links)
• Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)