Pages that link to "Item:Q2996161"
From MaRDI portal
The following pages link to Splitting through New Proposition Symbols (Q2996161):
Displayed 6 items.
- Case splitting in an automatic theorem prover for real-valued special functions (Q352970) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Labelled splitting (Q1037396) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)