The following pages link to Mathematical Knowledge Management (Q5313076):
Displaying 11 items.
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Logic, sets, and mathematics (Q1209798) (← links)
- A single axiom for set theory (Q1861136) (← links)
- On the formalization of theories (Q1945904) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- Constructibility and decidability versus domain independence and absoluteness (Q2482456) (← links)
- A Logical Framework for Developing and Mechanizing Set Theories (Q2817908) (← links)
- Relational set theory (Q5057465) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms (Q5452175) (← links)
- Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)