Ontify
A finite graph is planar iff it does not contain a subgraph that is a subdivision of K₅ or K₃,₃.
Wikidata
