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 / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/forma-2020-0001
+Normal rank
@@ Property / OpenAlex ID @@
+W4211215417
@@ Property / OpenAlex ID: W4211215417 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2658806