@article{J42,
  urlRG = {https://www.researchgate.net/publication/331908458_Universal_Meta-Logical_Reasoning_The_Wise_Men_Puzzle_IsabelleHOL_Dataset},
  url = {https://www.sciencedirect.com/science/article/pii/S235234091930174X},
  Author =	 {Christoph Benzm{\"u}ller},
  Journal =	 {Data in Brief (data publication)},
  Keywords =	 {own, Universal Logical Reasoning},
  Title =	 {Universal (Meta-)Logical Reasoning: The Wise Men
                  Puzzle ({Isabelle/HOL Dataset})},
  Year =	 2019,
  Volume =	 24,
  Pages =	 {1--5},
  Number =	 103823,
  Note =	 {Open Access},
  Doi =		 {10.1016/j.dib.2019.103823},
}

{"_id":"PyQ6StEejEM8QjYGr","bibbaseid":"benzmller-universalmetalogicalreasoningthewisemenpuzzleisabelleholdataset-2019","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","urlrg":"https://www.researchgate.net/publication/331908458_Universal_Meta-Logical_Reasoning_The_Wise_Men_Puzzle_IsabelleHOL_Dataset","url":"https://www.sciencedirect.com/science/article/pii/S235234091930174X","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"journal":"Data in Brief (data publication)","keywords":"own, Universal Logical Reasoning","title":"Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)","year":"2019","volume":"24","pages":"1–5","number":"103823","note":"Open Access","doi":"10.1016/j.dib.2019.103823","bibtex":"@article{J42,\n urlRG = {https://www.researchgate.net/publication/331908458_Universal_Meta-Logical_Reasoning_The_Wise_Men_Puzzle_IsabelleHOL_Dataset},\n url = {https://www.sciencedirect.com/science/article/pii/S235234091930174X},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Journal =\t {Data in Brief (data publication)},\n Keywords =\t {own, Universal Logical Reasoning},\n Title =\t {Universal (Meta-)Logical Reasoning: The Wise Men\n Puzzle ({Isabelle/HOL Dataset})},\n Year =\t 2019,\n Volume =\t 24,\n Pages =\t {1--5},\n Number =\t 103823,\n Note =\t {Open Access},\n Doi =\t\t {10.1016/j.dib.2019.103823},\n}\n\n","author_short":["Benzmüller, C."],"key":"J42","id":"J42","bibbaseid":"benzmller-universalmetalogicalreasoningthewisemenpuzzleisabelleholdataset-2019","role":"author","urls":{"Rg":"https://www.researchgate.net/publication/331908458_Universal_Meta-Logical_Reasoning_The_Wise_Men_Puzzle_IsabelleHOL_Dataset","Paper":"https://www.sciencedirect.com/science/article/pii/S235234091930174X"},"keyword":["own","Universal Logical Reasoning"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","universal logical reasoning"],"search_terms":["universal","meta","logical","reasoning","wise","men","puzzle","isabelle","hol","dataset","benzmüller"],"title":"Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)","year":2019}