Vom Entscheidungsverfahren zur Mensch-Maschine-Interaktion Gerd Veenkers Arbeiten zum automatischen Beweisen - Seising, Rudolf 1961- (2023)