@misc{indiciaec4555aa1a3aa,
  title = {Sentence complexity of theorems in Mizar},
  author = {Jesse Alama},
  year = {2013},
  url = {https://arxiv.org/abs/1311.1915},
  note = {Source identifier: 1311.1915}
}