The following pages link to (Q5721639):
Displayed 11 items.
- Local axioms in disguise: Hilbert on Minkowski diagrams (Q375285) (← links)
- Preordered affine Hjelmslev planes (Q797141) (← links)
- Perspective Graves triads and triads of perspective inscribed triangles (Q1237946) (← links)
- Fuzzy plane projective geometry (Q1311866) (← links)
- Order and topology in projective Hjelmslev planes (Q1836389) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- The Lenz-Barlotti class \(I_ 6\) (Q2541323) (← links)
- A theory of computation based on quantum logic. I (Q2575078) (← links)
- Desargues configurations and their collineation groups (Q4064098) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- (Q5537594) (← links)