Semantisches Browsen
Aus International Center for Computational Logic
@inproceedings{HMNS2012,
author = {S. H{\"{o}}lldobler and N. Manthey and {V.H.} Nguyen and P.
Steinke},
title = {Solving Hidokus using {SAT} Solvers},
booktitle = {Proc. {INFOCOM-5}},
year = {2012},
pages = {208-212}
}
author = {S. H{\"{o}}lldobler and N. Manthey and {V.H.} Nguyen and P.
Steinke},
title = {Solving Hidokus using {SAT} Solvers},
booktitle = {Proc. {INFOCOM-5}},
year = {2012},
pages = {208-212}
}
Hölldobler +
S. Hölldobler, N. Manthey, V.H. Nguyen, P. … S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke<br/> '''[[WVPub295|<b>Solving Hidokus using SAT Solvers</b>]]''' <br/>__NOTOC__<i>Proc. INFOCOM-5</i>, 208-212, 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub295|Details]]b295|Details]] +
S. Hölldobler, N. Manthey, V.H. Nguyen, P. … S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke<br/> '''[[WVPub295/en|<b>Solving Hidokus using SAT Solvers</b>]]''' <br/>__NOTOC__<i>Proc. INFOCOM-5</i>, 208-212, 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub295|Details]]b295|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Solving Hidokus using SAT Solvers +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
13. April 2015, 13:07:37 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
