Assertion: finite presentation | /r/HasProperty | s | r
Facets:
Source sentences:
text: The negative solution to the word problem for groups states that there is a finite presentation <S | R> for which there is no algorithm which, given two words u, v, decides whether u and v describe the same element in the group.