Pages that link to "Item:Q6086313"

The following pages link to A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313):

Displaying 2 items.

• On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
• Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)