Компьютерное доказательство, произведенное в 1976 году Кеннетом Аппелем и Вольфгангом Хакеном, фундаментально использует понятие «разрядки», разработанное Хишем. Доказательство включало проверку свойств 1936 конфигураций на компьютере и не было полностью принято в то время из-за своей сложности.
Доказательство, представленное в 1976 году Кеннетом Аппелем и Вольфгангом Хакеном, которое включало проверку свойств 1936 конфигураций на компьютере, в то время не было полностью принято из-за его сложности.