Browse wiki
From International Center for Computational Logic
@misc{W2017,
author = {Christoph Wernhard},
title = {Craig Interpolation and Query Reformulation with Clausal First-Order
Tableaux},
year = {2017},
month = {September}
}
author = {Christoph Wernhard},
title = {Craig Interpolation and Query Reformulation with Clausal First-Order
Tableaux},
year = {2017},
month = {September}
}
Wernhard +
Christoph +
Poster presentation at TABLEAUX 2017, Brasilia +
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]] +
Christoph Wernhard<br /> '''[[Misc3029/en|Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux]] … Christoph Wernhard<br /> '''[[Misc3029/en|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]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
9. Dezember 2017, 20:04:58 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +, Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +, Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +, Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux + and Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +
