Pages that link to "Item:Q1037933"

The following pages link to On the refutational completeness of signed binary resolution and hyperresolution (Q1037933):

Displaying 2 items.

• Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
• Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)