Pages that link to "Item:Q4916075"

The following pages link to The Blossom of Finite Semantic Trees (Q4916075):

Displaying 2 items.

• Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)