Four decades of {\textsc{Mizar}}. Foreword (Q286794): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 00B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E75
@@ Property / Mathematics Subject Classification ID: 03E75 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 68-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 03-06 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585253
@@ Property / zbMATH DE Number: 6585253 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalization of mathematics
@@ Property / zbMATH Keywords: formalization of mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computer proof assistant
@@ Property / zbMATH Keywords: computer proof assistant / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural deduction
@@ Property / zbMATH Keywords: natural deduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar
@@ Property / zbMATH Keywords: Mizar / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar mathematical library
@@ Property / zbMATH Keywords: Mizar mathematical library / rank @@
+Normal rank

Four decades of {\textsc{Mizar}}. Foreword (Q286794): Difference between revisions

Revision as of 18:50, 27 June 2023

Statements

Identifiers

Sitelinks

Mathematics(0 entries)