Branden Fitelson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Larry Wos
4 publications
Dolph Ulrich
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. ∙