Pages that link to "Item:Q1344878"

The following pages link to A tableau prover for domain minimization (Q1344878):

Displaying 4 items.

• MiniTab (Q38055) (← links)
• Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
• A Tableau Calculus for Minimal Modal Model Generation (Q2825415) (← links)
• General domain circumscription and its first-order reduction (Q4632291) (← links)