Pages that link to "Item:Q2996161"
From MaRDI portal
The following pages link to Splitting through New Proposition Symbols (Q2996161):
Displayed 5 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)