Pages that link to "Item:Q703486"
From MaRDI portal
The following pages link to Linearity and regularity with negation normal form (Q703486):
Displaying 8 items.
- Generalized resolution and NC-resolution (Q1331227) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- (Q4366602) (← links)
- (Q4864891) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)