Pages that link to "Item:Q1284706"
From MaRDI portal
The following pages link to \(T\)-resolution: Refinements and model elimination (Q1284706):
Displaying 3 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
