scientific article; zbMATH DE number 4114588
From MaRDI portal
Publication:4729755
zbMath0681.03004MaRDI QIDQ4729755
Aleksandar Krapež, Miodrag Kapetanović
Publication date: 1989
Full work available at URL: https://eudml.org/doc/118088
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessresolutionsoundnesssemantic tableaux methodproof procedure for classical first order logic
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Related Items