%0 Conference Paper %1 conf/cade/WeidenbachW12 %A Weidenbach, Christoph %A Wischnewski, Patrick %B PAAR@IJCAR %D 2012 %E Fontaine, Pascal %E Schmidt, Renate A. %E Schulz, Stephan %I EasyChair %K %P 163-177 %T Satisfiability Checking and Query Answering for Large Ontologies. %U http://dblp.uni-trier.de/db/conf/cade/paar2012.html#WeidenbachW12 %V 21

@inproceedings{conf/cade/WeidenbachW12, added-at = {2023-12-13T03:40:51.000+0100}, author = {Weidenbach, Christoph and Wischnewski, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/256f4e07384c65fc67045234d0f4dc82b/admin}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2012paar}, editor = {Fontaine, Pascal and Schmidt, Renate A. and Schulz, Stephan}, ee = {https://easychair.org/publications/paper/P85}, interhash = {8dce356f93dcc5ad8b56884259aff83c}, intrahash = {56f4e07384c65fc67045234d0f4dc82b}, keywords = {}, pages = {163-177}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-13T03:40:51.000+0100}, title = {Satisfiability Checking and Query Answering for Large Ontologies.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2012.html#WeidenbachW12}, volume = 21, year = 2012 }