The following pages link to (Q5680121):
Displaying 4 items.
- Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups (Q384406) (← links)
- Groups elementarily equivalent to a free nilpotent group of finite rank (Q639689) (← links)
- FA-presentable groups and rings (Q947484) (← links)
- Theories of relatively free solvable groups with extra predicate (Q1731523) (← links)
