A Wos Challenge Met

DOI10.1007/S10817-021-09614-YOpenAlexW4206598976WikidataQ114264018 ScholiaQ114264018MaRDI QIDQ2102924

Robert Veroff

Publication date: 12 December 2022

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

Full work available at URL: https://doi.org/10.1007/s10817-021-09614-y

zbMATH Keywords

automated theorem provingMoufang identitiesProver9

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Larry Wos: visions of automated reasoning

Uses Software

• Unnamed Item
• Unnamed Item
• Prover9
• Peers-mcd

Cites Work

• Unnamed Item
• Automated proofs of the Moufang identities in alternative rings
• OTTER and the Moufang identity problem
• Moufang quasigroups
• Using hints to increase the effectiveness of an automated reasoning program: Case studies
• Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
• Solving open questions and other challenge problems using proof sketches

This page was built for publication: A Wos Challenge Met