Assertion: problem | /r/HasProperty | undecidable
Facets:
value: to the following group problem
type: OTHER
Source sentences:
text: Problems that are not decidable are undecidable.
text: The problem is undecidable and equivalent to the following Group Problem: is the semigroup generated by a finite set of pairs of words (over a group alphabet) a group.