OTTER and the Moufang identity problem

DOI10.1007/BF00247668zbMath0855.68088WikidataQ114267060 ScholiaQ114267060MaRDI QIDQ1815858

Larry Wos

Publication date: 27 January 1997

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

zbMATH Keywords

automated reasoningMoufang loopscircle of pure proofs

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (3)

Shortest axiomatizations of implicational S4 and S5 ⋮ Larry Wos: visions of automated reasoning ⋮ A Wos Challenge Met

Uses Software

• OTTER

This page was built for publication: OTTER and the Moufang identity problem