four color theorem

Summary

four color theorem is a theorem^[1]. It has Wikipedia articles in 28 language editions, a strong signal of global cultural recognition.^[2]

Key Facts

• four color theorem's instance of is recorded as theorem^[3].
• four color theorem's instance of is recorded as computer-assisted proof^[4].
• four color theorem's instance of is recorded as proof by exhaustion^[5].
• four color theorem is part of list of theorems^[6].
• four color theorem's Commons category is recorded as Four-color theorem^[7].
• four color theorem's proved by is recorded as Kenneth Appel^[8].
• four color theorem's proved by is recorded as Wolfgang Haken^[9].
• four color theorem's nickname is recorded as {'lang': 'en', 'text': "Guthrie's problem"}^[10].
• four color theorem's uses is recorded as proof assistant^[11].
• four color theorem's statement describes is recorded as planar graph^[12].
• four color theorem's statement describes is recorded as graph coloring^[13].
• four color theorem's studied by is recorded as graph theory^[14].
• four color theorem's on focus list of Wikimedia project is recorded as Wikipedia:Vital articles/Level/4^[15].
• four color theorem's maintained by WikiProject is recorded as WikiProject Mathematics^[16].

Body

Definition and Type

Recorded instance of include theorem^[3], computer-assisted proof^[4], and proof by exhaustion^[5].

Use and Application

four color theorem is part of list of theorems^[6].

Why It Matters

four color theorem has Wikipedia articles in 28 language editions, a strong signal of global cultural recognition.^[2] It is known by 65 alternative names across languages and contexts.^[17]