The following pages link to (Q4360107):
Displaying 4 items.
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
- Reductions for non-clausal theorem proving (Q5958754) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
