Assertion: abelian group's property | /r/HasProperty | required for example
Facets:
value: in the damm algorithm
type: OTHER
Source sentences:
text: This property is required, for example, in the Damm algorithm.