Für einen Aufsatz, den die Forscher Andreas Nonnengart (Deutsches Forschungszentrum für Künstliche Intelligenz DFKI), Christoph Weidenbach (Informatik-Professor an der Universität des Saarlandes) und Georg Rock (Informatik-Professor an der Hochschule Trier) vor 20 Jahren am Saarbrücker Max-Planck-Institut für Informatik geschrieben haben, wurden sie jetzt mit dem Thoralf-Skolem-Preis ausgezeichnet, teilte die Saar-Universität mit.