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 7 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)
- Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
