%0 Conference Paper %1 DBLP:conf/cade/KuksaM16 %A Kuksa, Eugen %A Mossakowski, Till %B PAAR@IJCAR %D 2016 %I CEUR-WS.org %K %P 56--68 %T Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub %V 1635

@inproceedings{DBLP:conf/cade/KuksaM16, added-at = {2023-12-14T16:53:13.000+0100}, author = {Kuksa, Eugen and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/276787d02121d7ca823ceb99d6967042f/admin}, booktitle = {PAAR@IJCAR}, interhash = {fe88ab5d580eac2f9ee4ad0e7464bb33}, intrahash = {76787d02121d7ca823ceb99d6967042f}, keywords = {}, pages = {56--68}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, timestamp = {2023-12-14T16:53:13.000+0100}, title = {Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub}, volume = 1635, year = 2016 }