Pages that link to "Item:Q845921"
From MaRDI portal
The following pages link to Substitutions into propositional tautologies (Q845921):
Displaying 6 items.
- Properties of substitutions and unifications (Q1074342) (← links)
- Axiomatisation of substitution (Q1433380) (← links)
- (Q3007263) (← links)
- Marcus and Substitutivity (Q3187715) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- Theory and Applications of Satisfiability Testing (Q5713728) (← links)