scientific article; zbMATH DE number 695096
From MaRDI portal
Publication:4314599
zbMath0938.68818MaRDI QIDQ4314599
Publication date: 21 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semantically-guided goal-sensitive reasoning: model representation, Model building with ordered resolution: Extracting models from saturated clause sets, Semantically-guided goal-sensitive reasoning: inference system and completeness, Combining enumeration and deductive techniques in order to increase the class of constructible infinite models, Semantically guided first-order theorem proving using hyper-linking
