%0 Conference Paper %1 conf/cade/RoedererPS09 %A Roederer, Alex %A Puzis, Yury %A Sutcliffe, Geoff %B CADE %D 2009 %E Schmidt, Renate A. %I Springer %K dblp %P 157-162 %T Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. %U http://dblp.uni-trier.de/db/conf/cade/cade2009.html#RoedererPS09 %V 5663 %@ 978-3-642-02958-5

@inproceedings{conf/cade/RoedererPS09, added-at = {2021-04-09T00:00:00.000+0200}, author = {Roederer, Alex and Puzis, Yury and Sutcliffe, Geoff}, biburl = {https://www.bibsonomy.org/bibtex/2ca9289efecfe633100632f36258bee23/dblp}, booktitle = {CADE}, crossref = {conf/cade/2009}, editor = {Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-642-02959-2_13}, interhash = {e53bfec9d53d761c30aae8c91038c97e}, intrahash = {ca9289efecfe633100632f36258bee23}, isbn = {978-3-642-02958-5}, keywords = {dblp}, pages = {157-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:07:58.000+0200}, title = {Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2009.html#RoedererPS09}, volume = 5663, year = 2009 }