Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset) (bibtex)
by Christoph Benzmüller
Reference:
Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset) (Christoph Benzmüller), In Data in Brief, volume 24, number 103774, 2019. (Note: data publication)
Bibtex Entry:
@article{J44,
  Author =	 {Christoph Benzm\"uller},
  Journal =	 {Data in Brief},
  Keywords =	 {own, Universal Logical Reasoning},
  Note =	 {Note: data publication},
  Title =	 {Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)},
  Year =	 2019,
  Volume =       24,
  Number =       103774,
  Doi =  {10.1016/j.dib.2019.103823},
}
Powered by bibtexbrowser