Pages that link to "Item:Q287275"

The following pages link to Interpolation systems for ground proofs in automated deduction: a survey (Q287275):

Displaying 2 items.

• Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)