TY - RPRT TI - The isomorphism problem for plain groups is in $Σ_3^{\mathsf{P}}$ AU - Heiko Dietrich AU - Murray Elder AU - Adam Piggott AU - Youming Qiao AU - Armin Weiß PY - 2022 UR - https://arxiv.org/abs/2110.00900 ID - 2110.00900 ER -