The following pages link to Mathematical Knowledge Management (Q5313083):
Displaying 7 items.
- Two axiomatizations of Nelson algebras. (Q491776) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
- Formalization of generalized almost distributive lattices. (Q2344193) (← links)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298) (← links)