Pages that link to "Item:Q2767928"
From MaRDI portal
The following pages link to Mathematical knowledge management in MIZAR (Q2767928):
Displaying 14 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings (Q1396946) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- A compendium of continuous lattices in MIZAR (Q1868506) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- (Q3421352) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ (Q3637295) (← links)
- Pollack-inconsistency (Q5170237) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)