Single axioms for odd exponent groups
type: Item
instance of: scholarly article
title: Single axioms for odd exponent groups
zbMATH Open document ID: 0828.68109
DOI: 10.1007/BF00881714
author: Joan E. Hart
author: Kenneth Kunen
published in: Journal of Automated Reasoning
publication date: 1995-07-03T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 20A05
zbMATH DE Number: 769077
zbMATH Keywords: odd exponent groups
zbMATH Keywords: automated reasoning system
Wikidata QID: Q114694139
cites work: OTTER
cites work: Single axioms for groups
cites work: The shortest single axioms for groups of exponent 4
cites work: Single axioms for groups and abelian groups with various operations
cites work: Q4255507
cites work: Another single law for groups
describes a project that uses: OTTER
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 769077