{"_id":"PyQ6StEejEM8QjYGr","bibbaseid":"benzmller-universalmetalogicalreasoningthewisemenpuzzleisabelleholdataset-2019","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"journal":"Data in Brief","keywords":"own, Universal Logical Reasoning","note":"Open Access","title":"Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)","year":"2019","volume":"24","pages":"1–5","number":"103823","doi":"10.1016/j.dib.2019.103823","bibtex":"@article{J44,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Journal =\t {Data in Brief},\n Keywords =\t {own, Universal Logical Reasoning},\n Note =\t {Note: data publication},\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":"J44","id":"J44","bibbaseid":"benzmller-universalmetalogicalreasoningthewisemenpuzzleisabelleholdataset-2019","role":"author","urls":{},"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}