Pages that link to "Item:Q808295"
From MaRDI portal
The following pages link to A resolution rule for well-formed formulae (Q808295):
Displaying 3 items.
- Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving (Q679252) (← links)
- Modification of the Robinson's resolution method for built-in predicates (Q1382912) (← links)
- Suprema of open and closed formulas and their application to resolution (Q1891169) (← links)