@ARTICLE{DH12,
  author = {Diener, Hannes and Hedin, Anton},
  title = {The {V}itali covering theorem in constructive mathematics},
  journal = {Journal of Logic and Analysis},
  year = {2012},
  volume = {4},
  pages = {Paper 7, 22},
  doi = {10.4115/jla.2012.4.7},
  file = {DH12.pdf:DH12.pdf:PDF},
  fjournal = {Journal of Logic and Analysis},
  issn = {1759-9008},
  keywords = {bib,con},
  mrclass = {03F60 (03F55 06D22 28E15)},
  mrnumber = {2889827},
  mrreviewer = {Douglas S. Bridges},
  url = {http://dx.doi.org/10.4115/jla.2012.4.7}
}

{"_id":"PmbaxZbSo2fGC8wRr","bibbaseid":"diener-hedin-thevitalicoveringtheoreminconstructivemathematics-2012","authorIDs":[],"author_short":["Diener, H.","Hedin, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Diener"],"firstnames":["Hannes"],"suffixes":[]},{"propositions":[],"lastnames":["Hedin"],"firstnames":["Anton"],"suffixes":[]}],"title":"The Vitali covering theorem in constructive mathematics","journal":"Journal of Logic and Analysis","year":"2012","volume":"4","pages":"Paper 7, 22","doi":"10.4115/jla.2012.4.7","file":"DH12.pdf:DH12.pdf:PDF","fjournal":"Journal of Logic and Analysis","issn":"1759-9008","keywords":"bib,con","mrclass":"03F60 (03F55 06D22 28E15)","mrnumber":"2889827","mrreviewer":"Douglas S. Bridges","url":"http://dx.doi.org/10.4115/jla.2012.4.7","bibtex":"@ARTICLE{DH12,\r\n author = {Diener, Hannes and Hedin, Anton},\r\n title = {The {V}itali covering theorem in constructive mathematics},\r\n journal = {Journal of Logic and Analysis},\r\n year = {2012},\r\n volume = {4},\r\n pages = {Paper 7, 22},\r\n doi = {10.4115/jla.2012.4.7},\r\n file = {DH12.pdf:DH12.pdf:PDF},\r\n fjournal = {Journal of Logic and Analysis},\r\n issn = {1759-9008},\r\n keywords = {bib,con},\r\n mrclass = {03F60 (03F55 06D22 28E15)},\r\n mrnumber = {2889827},\r\n mrreviewer = {Douglas S. Bridges},\r\n url = {http://dx.doi.org/10.4115/jla.2012.4.7}\r\n}\r\n\r\n","author_short":["Diener, H.","Hedin, A."],"key":"DH12","id":"DH12","bibbaseid":"diener-hedin-thevitalicoveringtheoreminconstructivemathematics-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.4115/jla.2012.4.7"},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.602Z","downloads":0,"keywords":["bib","con"],"search_terms":["vitali","covering","theorem","constructive","mathematics","diener","hedin"],"title":"The Vitali covering theorem in constructive mathematics","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}