Pages that link to "Item:Q3777497"
From MaRDI portal
The following pages link to Special relations in automated deduction (Q3777497):
Displayed 13 items.
- An essay on resolution logics (Q687163) (← links)
- Linearity and regularity with negation normal form (Q703486) (← links)
- Rewriting with equivalence relations in ACL2 (Q928668) (← links)
- Resolution on formula-trees (Q1098648) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- The problem of reasoning from inequalities (Q1195540) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Deductive synthesis of sorting programs (Q1822927) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Extending resolution to resolution logics (Q3211281) (← links)
- (Q3349963) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)