Media type: E-Book; Thesis Title: Efficient reasoning procedures for complex first-order theories Other titles: Effizientes logisches Schließen für komplexe Theorien der Prädikatlogik erster Stufe Contributor: Wischnewski, Patrick [Verfasser]; Weidenbach, Christoph [Akademischer Betreuer] imprint: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012 Extent: Online-Ressource Language: English Identifier: Keywords: Superpositionskalkül ; Entscheidungsverfahren ; Prädikatenlogik ; Schlussfolgern ; automated reasoning ; superposition ; decision procedures ; first-order logic ; ontologies ; Hochschulschrift Origination: University thesis: Saarbrücken, Universität des Saarlandes, Diss., 2012 Footnote: Access State: Open Access