11 citations · 47 across the 17 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020★ 3 cited
Craig Interpolation with Clausal First-Order Tableaux
Christoph Wernhard
We develop foundations for computing Craig-Lyndon interpolants of two given formulas with first-order theorem provers that construct clausal tableaux. Provers that can be understoo…
cs.LO2020★ 6 cited
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic
Christoph Wernhard
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are st…
cs.AI2020★ 1 cited
KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog
Jana Kittelmann, Christoph Wernhard
KBSET is an environment that provides support for scholarly editing in two flavors: First, as a practical tool KBSET/Letters that accompanies the development of editions of corresp…