%0 Journal Article %1 journals/jar/BlanchetteGKKU16 %A Blanchette, Jasmin Christian %A Greenaway, David %A Kaliszyk, Cezary %A Kühlwein, Daniel %A Urban, Josef %D 2016 %J J. Autom. Reason. %K %N 3 %P 219-244 %T A Learning-Based Fact Selector for Isabelle/HOL. %U http://dblp.uni-trier.de/db/journals/jar/jar57.html#BlanchetteGKKU16 %V 57

@article{journals/jar/BlanchetteGKKU16, added-at = {2023-12-12T20:43:02.000+0100}, author = {Blanchette, Jasmin Christian and Greenaway, David and Kaliszyk, Cezary and Kühlwein, Daniel and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/254a580be69b8dd21710c5cb3133b1fa1/admin}, ee = {https://doi.org/10.1007/s10817-016-9362-8}, interhash = {334cc468430ada4ed891138495eb6a76}, intrahash = {54a580be69b8dd21710c5cb3133b1fa1}, journal = {J. Autom. Reason.}, keywords = {}, number = 3, pages = {219-244}, timestamp = {2023-12-12T20:43:02.000+0100}, title = {A Learning-Based Fact Selector for Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar57.html#BlanchetteGKKU16}, volume = 57, year = 2016 }