%0 Conference Paper %1 DBLP:conf/cade/KuksaM16 %A Kuksa, Eugen %A Mossakowski, Till %B Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. %D 2016 %E Fontaine, Pascal %E Schulz, Stephan %E Urban, Josef %I CEUR-WS.org %K imported %P 56--68 %T Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub %U http://ceur-ws.org/Vol-1635/paper-06.pdf %V 1635

@inproceedings{DBLP:conf/cade/KuksaM16, added-at = {2016-08-09T12:02:18.000+0200}, author = {Kuksa, Eugen and Mossakowski, Till}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2bd49dde867f467c4dc29a1aaf538e540/tillmo}, booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016.}, editor = {Fontaine, Pascal and Schulz, Stephan and Urban, Josef}, interhash = {fe88ab5d580eac2f9ee4ad0e7464bb33}, intrahash = {bd49dde867f467c4dc29a1aaf538e540}, keywords = {imported}, pages = {56--68}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, timestamp = {2016-08-09T12:02:18.000+0200}, title = {Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub}, url = {http://ceur-ws.org/Vol-1635/paper-06.pdf}, volume = 1635, year = 2016 }