Logic2CNF

swMATH28594MaRDI QIDQ40308FDOQ40308

Author name not available (Why is that?)

Described by source

• Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver

Cited In (5)

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Flexary connectives in Mizar
• Accessing the Mizar Library with a Weakly Strict Mizar Parser
• Semantics of Mizar as an Isabelle object logic
• Automated Comparative Study of Some Generalized Rough Approximations

This page was built for software: Logic2CNF