The following pages link to (Q5608782):
Displaying 10 items.
- An intensional epistemic logic (Q687156) (← links)
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- Automated proofs of the Moufang identities in alternative rings (Q912653) (← links)
- Rewrite method for theorem proving in first order theory with equality (Q1098649) (← links)
- The ECO family (Q1202626) (← links)
- Complete demodulation for automatic theorem proving (Q1241989) (← links)
- Basic research problems: The problem of strategy and hyperresolution (Q1332645) (← links)
- Unnecessary inferences in associative-commutative completion procedures (Q3489486) (← links)
- Goal directed strategies for paramodulation (Q5055756) (← links)
- (Q6488530) (← links)