Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups (Q4345023)
From MaRDI portal
scientific article; zbMATH DE number 1036769
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups |
scientific article; zbMATH DE number 1036769 |
Statements
Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups (English)
0 references
3 December 1997
0 references
implicative axioms
0 references
universal quantifiers
0 references
axioms of groups
0 references
axioms for Abelian groups
0 references
group operations
0 references
binary division
0 references
equational axioms
0 references
automated deduction system OTTER
0 references
