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