Pages that link to "Item:Q1821563"
From MaRDI portal
The following pages link to Towards mechanical metamathematics (Q1821563):
Displaying 9 items.
- A mechanical verification of the stressing algorithm for negative cost cycle detection in networks (Q532429) (← links)
- Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (Q606999) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- The Mechanical Verification of a DPLL-Based Satisfiability Solver (Q5179007) (← links)
- An automatic proof of Gödel's incompleteness theorem (Q5894725) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- A theorem prover for a computational logic (Q6488518) (← links)