%0 Conference Paper %1 conf/lpar/KaliszykU13 %A Kaliszyk, Cezary %A Urban, Josef %B LPAR %D 2013 %E McMillan, Kenneth L. %E Middeldorp, Aart %E Voronkov, Andrei %I Springer %K dblp %P 503-517 %T Lemma Mining over HOL Light. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#KaliszykU13 %V 8312 %@ 978-3-642-45220-8

@inproceedings{conf/lpar/KaliszykU13, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kaliszyk, Cezary and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2ecdd9a21630beb1e7c54c1fa7d5af720/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2013}, editor = {McMillan, Kenneth L. and Middeldorp, Aart and Voronkov, Andrei}, ee = {https://www.wikidata.org/entity/Q108482177}, interhash = {abcd83ab6ccc72cc587cd8b61d74534e}, intrahash = {ecdd9a21630beb1e7c54c1fa7d5af720}, isbn = {978-3-642-45220-8}, keywords = {dblp}, pages = {503-517}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:16:15.000+0200}, title = {Lemma Mining over HOL Light.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#KaliszykU13}, volume = 8312, year = 2013 }