Pages that link to "Item:Q1312155"

The following pages link to Single axioms for groups and abelian groups with various operations (Q1312155):

Displaying 18 items.

• A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
• Single axioms for groups (Q688567) (← links)
• Applying SAT solving in classification of finite algebras (Q862393) (← links)
• Automatic construction and verification of isotopy invariants (Q928664) (← links)
• The problem of automated theorem finding (Q1312164) (← links)
• The shortest single axioms for groups of exponent 4 (Q1343390) (← links)
• Single identities for ternary Boolean algebras (Q1343391) (← links)
• Automated reasoning about cubic curves (Q1343392) (← links)
• The resonance strategy (Q1343396) (← links)
• Single axioms for odd exponent groups (Q1893129) (← links)
• OTTER experiments in a system of combinatory logic (Q1893130) (← links)
• Automatic construction of finite algebras (Q1894320) (← links)
• Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
• Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
• Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
• The TPTP problem library (Q5210777) (← links)
• Problems on the generation of finite models (Q5210810) (← links)