@misc{indiciae39acda5addd6, title = {Digital Encyclopedia of Scientific Results}, author = {János Tapolcai}, year = {2017}, url = {https://arxiv.org/abs/1711.10172}, note = {Source identifier: 1711.10172} }