Konclude(1) on Linux
The text 412f4c54e475, as Debian 13 (Trixie) shipped it. The page shows this text now.
Reasoner for the SROIQV(D) Description Logic
Flags it lists
-
-a -
-c -
-h -
-i -
-o -
-p -
-s -
-v -
-w -
-x