Pages that link to "Item:Q2055868"
From MaRDI portal
The following pages link to Generalized completeness for SOS resolution and its application to a new notion of relevance (Q2055868):
Displaying 4 items.
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- Semantic relevance (Q2104509) (← links)
