Mizar (Q16873): Difference between revisions

@@ Property / described by source @@
+Mizar: State-of-the-art and Beyond
@@ Property / described by source: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / described by source @@
+MizAR 40 for Mizar 40
@@ Property / described by source: MizAR 40 for Mizar 40 / rank @@
+Normal rank
@@ Property / described by source @@
+A Brief Overview of Mizar
@@ Property / described by source: A Brief Overview of Mizar / rank @@
+Normal rank
@@ Property / described by source @@
+Q3075247
@@ Property / described by source: Q3075247 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI software profile
@@ Property / MaRDI profile type: MaRDI software profile / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Software:16873