%0 Journal Article %1 journals/jfrea/BlanchetteKPU16 %A Blanchette, Jasmin Christian %A Kaliszyk, Cezary %A Paulson, Lawrence C. %A Urban, Josef %D 2016 %J J. Formaliz. Reason. %K %N 1 %P 101-148 %T Hammering towards QED. %U http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#BlanchetteKPU16 %V 9

@article{journals/jfrea/BlanchetteKPU16, added-at = {2023-12-14T16:08:19.000+0100}, author = {Blanchette, Jasmin Christian and Kaliszyk, Cezary and Paulson, Lawrence C. and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2d3f71f2e0f25b6bd9003d1d62b649959/admin}, ee = {https://doi.org/10.6092/issn.1972-5787/4593}, interhash = {f40a5f0bf627b1f56f0105ecf50136ed}, intrahash = {d3f71f2e0f25b6bd9003d1d62b649959}, journal = {J. Formaliz. Reason.}, keywords = {}, number = 1, pages = {101-148}, timestamp = {2023-12-14T16:08:19.000+0100}, title = {Hammering towards QED.}, url = {http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#BlanchetteKPU16}, volume = 9, year = 2016 }