The following pages link to Mathematical Knowledge Management (Q5313068):
Displaying 17 items.
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)
