MizAR 40 for Mizar 40 (Q286800): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T05
@@ Property / Mathematics Subject Classification ID: 68T05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585257
@@ Property / zbMATH DE Number: 6585257 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated reasoning
@@ Property / zbMATH Keywords: automated reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal mathematics
@@ Property / zbMATH Keywords: formal mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar
@@ Property / zbMATH Keywords: Mizar / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+large theories
@@ Property / zbMATH Keywords: large theories / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+machine learning
@@ Property / zbMATH Keywords: machine learning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+artificial intelligence
@@ Property / zbMATH Keywords: artificial intelligence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+premise selection
@@ Property / zbMATH Keywords: premise selection / rank @@
+Normal rank

Revision as of 18:50, 27 June 2023