Assertion: graph's edge | /r/HasProperty | a labelling of the edges
Facets:
Source sentences:
text: An edge-graceful labelling on a simple graph without loops or multiple edges on p vertices and q edges is a labelling of the edges by distinct integers in {1, …, q} such that the labelling on the vertices induced by labelling a vertex with the sum of the incident edges taken modulo p assigns all values from 0