Damals entwarf noch der Mensch die Lösungsstrategie und ließ den Computer nach fest vorgegebenem Programm einzelne Beweisschritte abarbeiten. (Quelle: Die Zeit 1998)
Mit dem Konzept der Anerkennung von reasonable disagreements oder vernünftigerweise zu erwartenden Nicht-Übereinstimmungen wird diese dialektische Lösungsstrategie auf den Begriff gebracht. (Quelle: Die Zeit 2001)
Die Rentenreform wird zeigen, ob die Politiker der großen Parteien trotz dieser widrigen Umstände in der Lage sind, eine auf mehrere Jahrzehnte angelegte Lösungsstrategie zu entwickeln und durchzuhalten. (Quelle: DIE WELT 2000)