Assertion: complete graph | /r/HasProperty | biplanar
Facets:
Source sentences:
text: The problem is equivalent to determining whether the complete graph K 9 is biplanar (it is not, and the conjecture is true).