Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux + (Christoph Wernhard<br /> '''[[Misc3029|Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux]] … Christoph Wernhard<br /> '''[[Misc3029|Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux]]''' <br />__NOTOC__Poster presentation at TABLEAUX 2017, Brasilia, September 2017<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3029|Details]]Misc3029|Details]])
