The following pages link to Logic2CNF (Q40308):
Displaying 5 items.
- 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)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
