Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-04-092024-04-0920242192-5283https://fis.uni-bamberg.de/handle/uniba/94634engWho finds the short proof? : Searching for Wormholes in Proof-Spacearticle10.4230/DagRep.13.10.1