Klein-Beltrami model. III (Q2658806): Difference between revisions

@@ Property / DOI @@
-.2478/forma-2020-0001
@@ Property / DOI: 10.2478/forma-2020-0001 / rank @@
-Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270252
@@ Property / cites work: Q3270252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5849298
@@ Property / cites work: Q5849298 / rank @@
+Normal rank
@@ Property / cites work @@
+Group of homography in real projective plane
@@ Property / cites work: Group of homography in real projective plane / rank @@
+Normal rank
@@ Property / cites work @@
+Klein-Beltrami model. II
@@ Property / cites work: Klein-Beltrami model. II / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski geometry axioms. II
@@ Property / cites work: Tarski geometry axioms. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3980491
@@ Property / cites work: Q3980491 / rank @@
+Normal rank
@@ Property / DOI @@
+.2478/FORMA-2020-0001
@@ Property / DOI: 10.2478/FORMA-2020-0001 / rank @@
+Normal rank