Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
@misc{W2014,
  author = {Christoph Wernhard},
  title  = {Second-Order Characterizations of Definientia in Formula Classes},
  year   = {2014},
  month  = {July}
}
Misc  +
Christoph  +
Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014)  +
Juli  +
Christoph Wernhard<br /> '''[[Misc3035|Second-Order Characterizations of Definientia in Formula Classes]]Christoph Wernhard<br /> '''[[Misc3035|Second-Order Characterizations of Definientia in Formula Classes]]''' <br />__NOTOC__Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014), July 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3035|Details]]Misc3035|Details]]  +
Christoph Wernhard<br /> '''[[Misc3035/en|Second-Order Characterizations of Definientia in Formula Classes]]Christoph Wernhard<br /> '''[[Misc3035/en|Second-Order Characterizations of Definientia in Formula Classes]]''' <br />__NOTOC__Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014), July 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3035|Details]]Misc3035|Details]]  +
Second-Order Characterizations of Definientia in Formula Classes  +
misc  +
2014  +
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>.
Second-Order Characterizations of Definientia in Formula Classes  +
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>.
15. Dezember 2016, 20:45:27  +
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>.