Logic2CNF

swMATH28594MaRDI QIDQ40308FDOQ40308

Author name not available (Why is that?)

Official website: http://ports.su/math/logic2cnf

Described by source

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

Cited In (7)

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Accessing the Mizar library with a weakly strict Mizar parser
• Flexary connectives in Mizar
• MMode
• mizar-items
• Semantics of Mizar as an Isabelle object logic
• Automated Comparative Study of Some Generalized Rough Approximations

This page was built for software: Logic2CNF