Assertion: graph's cover | /r/HasProperty | decomposition
Facets:
Source sentences:
text: Cycle double cover, a decomposition into a collection of cycles covering each edge exactly twice