Assertion: graph | /r/HasProperty | preserved by edge contractions
Facets:
Source sentences:
text: The Robertson–Seymour theorem implies that an analogous forbidden minor characterization exists for every property of graphs that is preserved by deletions and edge contractions.