The problem of automated theorem finding (Q1312164): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114267036
@@ Property / Wikidata QID: Q114267036 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated discovery of new axiomatizations of the left group and right group calculi
+Normal rank
@@ Property / cites work @@
+Single axioms for groups and abelian groups with various operations
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank