Ein Klick auf den Begriff Reasoner führt auf die Seite http://de.wikipedia.org/wiki/Reasoner, die zwei Personen mit entsprechendem Nachnamen vorstellt. Allerdings sind hier Reasoner im Sinne von "reasoning", also automatischer Beweisführung/Schlussfolgerung gemeint. Entweder sollte der Link entfernt, korrigiert (beispielsweise auf http://en.wikipedia.org/wiki/Reasoner, die leider nicht auf deutsch existiert) oder die Zielseite um die beabsichtigten Reasoner für automatische Beweisführung erweitert werden.