Pages that link to "Item:Q286803"
From MaRDI portal
The following pages link to Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803):
Displaying 5 items.
- Logic2CNF (Q40308) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
