Dolph Ulrich | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Larry Wos
4 publications
Branden Fitelson
2 publications

research

∙ 11/13/2002

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

It has long been an open question whether the formula XCB = EpEEEpqErqr ...

0 Larry Wos, et al. ∙

research

∙ 11/13/2002

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

With the inclusion of an effective methodology, this article answers in ...

0 Larry Wos, et al. ∙