Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar (Q3582702): Difference between revisions

@@ Property / author @@
-Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
-Normal rank
@@ Property / author @@
+Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPTP 0.2
@@ Property / describes a project that uses: MPTP 0.2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MizarMode
@@ Property / describes a project that uses: MizarMode / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaLARea
@@ Property / describes a project that uses: MaLARea / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SystemOnTPTP
@@ Property / describes a project that uses: SystemOnTPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metis_
@@ Property / describes a project that uses: Metis_ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3100298706
@@ Property / OpenAlex ID: W3100298706 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4592
@@ Property / arXiv ID: 1005.4592 / rank @@
+Normal rank