Pages that link to "Item:Q1869616"
From MaRDI portal
The following pages link to Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus (Q1869616):
Displaying 5 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Shortest single axioms for the equivalential calculus with CD and RCD (Q1383993) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- (Q3433180) (← links)