EQP

  1. McCune mußte deshalb sein neues Beweisprogramm EQP speziell auf die Lösung einer Problemklasse zuschneiden. ( Quelle: Die Zeit (13/1998))