Pages that link to "Item:Q4255507"

The following pages link to (Q4255507):

Displaying 7 items.

• A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
• Searching for shortest single axioms for groups of exponent \(6\) (Q861707) (← links)
• Shortest single axioms for commutative Moufang loops of exponent 3. (Q932612) (← links)
• The shortest single axioms for groups of exponent 4 (Q1343390) (← links)
• Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
• Proofs as schemas and their heuristic use (Q1583854) (← links)
• Single axioms for odd exponent groups (Q1893129) (← links)