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 12 items.
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- A full formalization of SLD-resolution in the calculus of inductive constructions (Q1961920) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- (Q5091146) (← links)
- (Q5294172) (← links)
- (Q5875427) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5916290) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- (Q6060676) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)
