Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-12-232022-12-2320192352-3409https://fis.uni-bamberg.de/handle/uniba/57404engUniversal (meta-)logical reasoning : The Wise Men Puzzle (Isabelle/HOL dataset)article10.1016/j.dib.2019.103823