Semantisches Browsen
Aus International Center for Computational Logic
Norbert Manthey + and Enrique M. Alfonso +
@inproceedings{AM2014,
author = {Enrique M. Alfonso and Norbert Manthey},
title = {Riss 4.27 {BlackBox}},
editor = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
J{\"{a}}rvisalo},
booktitle = {Proceedings of {SAT} Competition 2014},
series = {Department of Computer Science Series of Publications B},
volume = {B-2014-2},
publisher = {University of Helsinki, Helsinki, Finland},
year = {2014},
pages = {68-69}
}
author = {Enrique M. Alfonso and Norbert Manthey},
title = {Riss 4.27 {BlackBox}},
editor = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
J{\"{a}}rvisalo},
booktitle = {Proceedings of {SAT} Competition 2014},
series = {Department of Computer Science Series of Publications B},
volume = {B-2014-2},
publisher = {University of Helsinki, Helsinki, Finland},
year = {2014},
pages = {68-69}
}
Alfonso +
Enrique M. +
Enrique M. Alfonso, Norbert Manthey<br/ … Enrique M. Alfonso, Norbert Manthey<br/> '''[[WVPub298|<b>Riss 4.27 BlackBox</b>]]''' <br/>__NOTOC__In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., <i>Proceedings of SAT Competition 2014</i>, volume B-2014-2 of Department of Computer Science Series of Publications B, 68-69, 2014. University of Helsinki, Helsinki, Finland<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub298|Details]]Details]] +
Enrique M. Alfonso, Norbert Manthey<br/ … Enrique M. Alfonso, Norbert Manthey<br/> '''[[WVPub298/en|<b>Riss 4.27 BlackBox</b>]]''' <br/>__NOTOC__In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., <i>Proceedings of SAT Competition 2014</i>, volume B-2014-2 of Department of Computer Science Series of Publications B, 68-69, 2014. University of Helsinki, Helsinki, Finland<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub298|Details]]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>.
Riss 4.27 BlackBox +
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>.
13. April 2015, 13:07:37 +
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>.
