scientific article; zbMATH DE number 1301853
From MaRDI portal
Publication:4247076
zbMATH Open0930.03010MaRDI QIDQ4247076FDOQ4247076
Authors:
Publication date: 15 February 2000
Title of this publication is not available (Why is that?)
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
semanticssatisfiabilitysyntaxvalidityUniformitySkolemizationCompactnessHOL Light theorem provercanonical term modelsHOL datatypeLöwenheim-Skolemunsorted first-order logic
Mechanization of proofs and logical operations (03B35) Basic properties of first-order languages and structures (03C07)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A verified runtime for a verified theorem prover
- First-order abduction as enumeration of stable models
- Basic first-order model theory in Mizar
- Hall's theorem for enumerable families of finite sets
- Formally verified tableau-based reasoners for a description logic
- First order theories for partial models
- Automatic models of first order theories
Uses Software
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)
