Pages that link to "Item:Q1284706"
From MaRDI portal
The following pages link to \(T\)-resolution: Refinements and model elimination (Q1284706):
Displaying 7 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model. (Q1427268) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- \(T\)-theorem proving. I (Q1914165) (← links)
- Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)