Assertion: complement graph | /r/HasProperty | planar
Facets:
value: for any graph on 9 points
type: OTHER
Source sentences:
text: The concept of thickness originates in the 1962 conjecture of Frank Harary: For any graph on 9 points, either itself or its complementary graph is non-planar.