Pages that link to "Item:Q1663242"
From MaRDI portal
The following pages link to Formalization of the resolution calculus for first-order logic (Q1663242):
Displaying 6 items.
- (Q5091146) (← links)
- (Q5875427) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- (Q6060676) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
