Pages that link to "Item:Q1961913"
From MaRDI portal
The following pages link to On equivalents of well-foundedness. An experiment in MIZAR (Q1961913):
Displaying 18 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Definition of flat poset and existence theorems for recursive call (Q467805) (← links)
- From hierarchies to well-foundedness (Q481873) (← links)
- The axiomatization of propositional logic (Q520386) (← links)
- Commutative algebra in the Mizar system (Q597122) (← links)
- Structured derivations: a unified proof style for teaching mathematics (Q607406) (← links)
- Mathematical method and proof (Q857692) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- About quotient orders and ordering sequences (Q2407507) (← links)
- Presenting and explaining Mizar (Q2867936) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (Q5852118) (← links)
- Formal power series (Q5891671) (← links)