The query [[Fact about.Page::Group with solvable conjugacy problem]] was answered by the SMWSQLStore3 in 0.0098 seconds.
[[Fact about.Page::Group with solvable conjugacy problem]]
SMWSQLStore3
Conjugacy-separable and all homomorphisms to any finite group can be listed in finite time implies solvable conjugacy problem, Finitely presented and conjugacy-separable implies solvable conjugacy problem