Topology from neighbourhoods (Q271891): Difference between revisions

@@ 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-2015-0023
+Normal rank
@@ Property / OpenAlex ID @@
+W2316140067
@@ Property / OpenAlex ID: W2316140067 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of MML Query - Ordering
@@ Property / cites work: Semantics of MML Query - Ordering / 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 @@
+Q3994918
@@ Property / cites work: Q3994918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413932
@@ Property / cites work: Q3413932 / rank @@
+Normal rank
@@ Property / cites work @@
+Convergent filter bases
@@ Property / cites work: Convergent filter bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q5203581
@@ Property / cites work: Q5203581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845099
@@ Property / cites work: Q2845099 / rank @@
+Normal rank