Pages that link to "Item:Q1869616"

The following pages link to Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus (Q1869616):

Displaying 3 items.

• A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
• Computer theorem proving in mathematics (Q704001) (← links)
• Larry Wos: visions of automated reasoning (Q2102922) (← links)