%0 Journal Article %1 journals/fm/KornilowiczNG17 %A Kornilowicz, Artur %A Naumowicz, Adam %A Grabowski, Adam %D 2017 %J Formalized Mathematics %K dblp %N 1 %P 49 %T All Liouville Numbers are Transcendental. %U http://dblp.uni-trier.de/db/journals/fm/fm25.html#KornilowiczNG17 %V 25

@article{journals/fm/KornilowiczNG17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Kornilowicz, Artur and Naumowicz, Adam and Grabowski, Adam}, biburl = {https://www.bibsonomy.org/bibtex/2653c7f1e805c7dcae44715db5b0a01c8/dblp}, ee = {https://doi.org/10.1515/forma-2017-0004}, interhash = {27e097b5ef3647507245f820775641f5}, intrahash = {653c7f1e805c7dcae44715db5b0a01c8}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 1, pages = 49, timestamp = {2019-09-26T11:49:47.000+0200}, title = {All Liouville Numbers are Transcendental.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm25.html#KornilowiczNG17}, volume = 25, year = 2017 }