Pages that link to "Item:Q5747752"
From MaRDI portal
The following pages link to Analytic Tableaux for Higher-Order Logic with Choice (Q5747752):
Displaying 7 items.
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (Q5200021) (← links)
- Analytic Tableaux for Higher-Order Logic with Choice (Q5747752) (← links)
