Problem corner: The Lion and the Unicorn

zbMath0616.68077MaRDI QIDQ1821566

Manfred Schmidt-Schauss, Hans Jürgen Ohlbach

Publication date: 1985

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated theorem provingmany-sorted logicrefinements of resolution

Mathematics Subject Classification ID

Related Items

Using an extended PROLOG to solve the lion and unicorn Puzzle ⋮ Unification in sort theories and its applications ⋮ SPASS & FLOTTER version 0.42 ⋮ Completing sort hierarchies