{
  "domain": "mathematics",
  "topics": [
    "graph-theory",
    "combinatorics"
  ],
  "type": "construction",
  "also": [
    "proof"
  ],
  "cover": {
    "motif": "blocks"
  },
  "source": {
    "key": "formal-conjectures",
    "name": "Formal Conjectures",
    "url": "https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/Wikipedia/GracefulLabeling.lean",
    "id": "Wikipedia/GracefulLabeling",
    "curator": "Google DeepMind and contributors",
    "poser": "Gerhard Ringel and Anton Kotzig",
    "status": "open",
    "as_of": "2026-10-20",
    "catalog": "0521c19bbd38"
  }
}