The following pages link to (Q4247076):
Displaying 16 items.
- Automatic models of first order theories (Q387121) (← links)
- First order theories for partial models (Q813079) (← links)
- A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Extending to a model structure is not a first-order property (Q1998990) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Q2817909) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- A Verified Runtime for a Verified Theorem Prover (Q3088011) (← links)
- Bases for first-order theories and subtheories (Q3843604) (← links)
- (Q4944337) (← links)
- (Q5875427) (← links)