Assertion: group isomorphism | /r/HasProperty | decidable
Facets:
Source sentences:
text: There seems to be confusion between this and NP-intermediate, which implies that Group Isomorphism is not only decidable, but no worse than NP-hard.
text: This article talks about finite _presented_ groups, while group isomorphism for finite groups is decidable and in NP.