Efficient Skolemization

MaRDI QIDQ5851151zbMATH OpenFDO

Authors Zoltán Lengyel

Publication date 21 January 2010

zbMATH Keywords

classical first-order logic, Skolemization, binary decision diagram

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Recommendations

• Skolemization modulo theories
• scientific article; zbMATH DE number 627412
• A note on assumptions about Skolem functions
• scientific article; zbMATH DE number 4037813
• Skolemization in unranked logics

Cited in

(5)

• A note on assumptions about Skolem functions
• Skolemization modulo theories
• Skolemization in unranked logics
• scientific article; zbMATH DE number 3970135 (Why is no real title available?)
• scientific article; zbMATH DE number 627412 (Why is no real title available?)

This page was built for publication: Efficient Skolemization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5851151)