RelBib: Ein formales Modell der Syllogistik des Aristoteles https://relbib.de/Record/1071061062/Details