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