Tipi

swMATH9147MaRDI QIDQ21140FDOQ21140

Author name not available (Why is that?)

Cited In (4)

• Complete independence of an axiom system for central translations
• The simplest axiom system for hyperbolic geometry revisited, again
• Prolegomena to any theory of proof simplicity
• Eliciting implicit assumptions of Mizar proofs by property omission

This page was built for software: Tipi