scientific article; zbMATH DE number 695096
From MaRDI portal
Publication:4314599
Cited in
(5)- Model building with ordered resolution: Extracting models from saturated clause sets
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- Semantically guided first-order theorem proving using hyper-linking
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
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 Q4314599)
