scientific article; zbMATH DE number 1301853
From MaRDI portal
Publication:4247076
Recommendations
- scientific article; zbMATH DE number 638363
- Preliminaries to classical first-order model theory
- Basic first-order model theory in Mizar
- Beyond first order model theory
- scientific article; zbMATH DE number 957948
- scientific article; zbMATH DE number 1418078
- Automatic models of first order theories
- scientific article; zbMATH DE number 139760
- On First-Order Model-Based Reasoning
- First-order logic theorem proving and model building via approximation and instantiation
Cited in
(18)- Extending to a model structure is not a first-order property
- Bases for first-order theories and subtheories
- Formalization of the resolution calculus for first-order logic
- scientific article; zbMATH DE number 7649968 (Why is no real title available?)
- Mechanised modal model theory
- Soundness and completeness proofs by coinductive methods
- A verified SAT solver framework with learn, forget, restart, and incrementality
- A verified SAT solver framework with learn, forget, restart, and incrementality
- On First-Order Model-Based Reasoning
- Formalization of the Resolution Calculus for First-Order Logic
- scientific article; zbMATH DE number 1418078 (Why is no real title available?)
- A verified runtime for a verified theorem prover
- First-order abduction as enumeration of stable models
- Basic first-order model theory in Mizar
- Formally verified tableau-based reasoners for a description logic
- Hall's theorem for enumerable families of finite sets
- First order theories for partial models
- Automatic models of first order theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247076)
