Tarski geometry axioms. II (Q502683): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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.1515/forma-2016-0012
+Normal rank
@@ Property / OpenAlex ID @@
+W2561277651
@@ Property / OpenAlex ID: W2561277651 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumcenter, circumcircle and centroid of a triangle
+Normal rank
@@ Property / cites work @@
+Efficient Rough Set Theory Merging
@@ Property / cites work: Efficient Rough Set Theory Merging / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing complemented lattices within Mizar type system
+Normal rank
@@ Property / cites work @@
+On Duplication in Mathematical Repositories
@@ Property / cites work: On Duplication in Mathematical Repositories / rank @@
+Normal rank
@@ Property / cites work @@
+Four decades of {\textsc{Mizar}}. Foreword
@@ Property / cites work: Four decades of {\textsc{Mizar}}. Foreword / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem Proving in Tarski’s Geometry
@@ Property / cites work: Mechanical Theorem Proving in Tarski’s Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski geometry axioms
@@ Property / cites work: Tarski geometry axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3115114
@@ Property / cites work: Q3115114 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank