The following pages link to Interpolation via translations (Q3184216):
Displaying 8 items.
- An interpolation theorem for transformers (Q1916650) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Interpolation and transmutation (Q2475490) (← links)
- Borrowing interpolation (Q2893323) (← links)
- (Q3160631) (← links)
- Interpolation by a Game (Q4224078) (← links)
- (Q4315994) (← links)