Adam Grabowski. Sequences of Prime Reciprocals. Preliminaries. Formalized Mathematics, 26(1):69-79, 2018. [doi]
@article{Grabowski18-1, title = {Sequences of Prime Reciprocals. Preliminaries}, author = {Adam Grabowski}, year = {2018}, doi = {10.2478/forma-2018-0006}, url = {https://doi.org/10.2478/forma-2018-0006}, researchr = {https://researchr.org/publication/Grabowski18-1}, cites = {0}, citedby = {0}, journal = {Formalized Mathematics}, volume = {26}, number = {1}, pages = {69-79}, }