Tipi

swMATH9147MaRDI QIDQ21140FDOQ21140

Author name not available (Why is that?)

Official website: http://arxiv.org/pdf/1204.0901v2.pdf

Cited In (5)

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

This page was built for software: Tipi