A note on assumptions about Skolem functions
From MaRDI portal
Publication:1904405
DOI10.1007/BF00881919zbMath0879.03006MaRDI QIDQ1904405
Christoph Weidenbach, Hans Jürgen Ohlbach
Publication date: 20 December 1995
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
first-order logic; preservation of satisfiability; refutational automated theorem-proving; sharpened Skolem theorem; skolemization
Related Items
Practically useful variants of definitional translations to normal form, Deciding the guarded fragments by resolution
Uses Software
Cites Work