Universal (meta-)logical reasoning : The Wise Men Puzzle (Isabelle/HOL dataset)
Author(s): | Benzmüller, Christoph ![]() |
Title of the Journal: | Data in Brief |
ISSN: | 2352-3409 |
Publisher Information: | Amsterdam [u.a.] : Elesevier |
Year of publication: | 2019 |
Volume: | 24 |
Issue: | June, 103823 |
Pages: | 1-5 |
Language(s): | English |
DOI: | 10.1016/j.dib.2019.103823 |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Open Access Journal: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/57404 |
Release Date: | 23. December 2022 |