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

@@ 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