@article{journals/fac/GottliebsenHLM13,
  added-at = {2018-11-14T00:00:00.000+0100},
  author = {Gottliebsen, Hanne and Hardy, Ruth and Lightfoot, Olga and Martin, Ursula},
  biburl = {https://www.bibsonomy.org/bibtex/25d16e8e3ddde721aedcd7bdd3b043ac7/dblp},
  ee = {https://www.wikidata.org/entity/Q55393267},
  interhash = {1b68deeefdd9a9a1a20ee5ba6f507595},
  intrahash = {5d16e8e3ddde721aedcd7bdd3b043ac7},
  journal = {Formal Asp. Comput.},
  keywords = {dblp},
  number = 6,
  pages = {993-1016},
  timestamp = {2018-11-15T15:24:33.000+0100},
  title = {Applications of real number theorem proving in PVS.},
  url = {http://dblp.uni-trier.de/db/journals/fac/fac25.html#GottliebsenHLM13},
  volume = 25,
  year = 2013
}

{"_id":"chcZD4pFmTmaf3KJo","bibbaseid":"gottliebsen-hardy-lightfoot-martin-applicationsofrealnumbertheoremprovinginpvs-2013","author_short":["Gottliebsen, H.","Hardy, R.","Lightfoot, O.","Martin, U."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-11-14T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Gottliebsen"],"firstnames":["Hanne"],"suffixes":[]},{"propositions":[],"lastnames":["Hardy"],"firstnames":["Ruth"],"suffixes":[]},{"propositions":[],"lastnames":["Lightfoot"],"firstnames":["Olga"],"suffixes":[]},{"propositions":[],"lastnames":["Martin"],"firstnames":["Ursula"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/25d16e8e3ddde721aedcd7bdd3b043ac7/dblp","ee":"https://www.wikidata.org/entity/Q55393267","interhash":"1b68deeefdd9a9a1a20ee5ba6f507595","intrahash":"5d16e8e3ddde721aedcd7bdd3b043ac7","journal":"Formal Asp. Comput.","keywords":"dblp","number":"6","pages":"993-1016","timestamp":"2018-11-15T15:24:33.000+0100","title":"Applications of real number theorem proving in PVS.","url":"http://dblp.uni-trier.de/db/journals/fac/fac25.html#GottliebsenHLM13","volume":"25","year":"2013","bibtex":"@article{journals/fac/GottliebsenHLM13,\n added-at = {2018-11-14T00:00:00.000+0100},\n author = {Gottliebsen, Hanne and Hardy, Ruth and Lightfoot, Olga and Martin, Ursula},\n biburl = {https://www.bibsonomy.org/bibtex/25d16e8e3ddde721aedcd7bdd3b043ac7/dblp},\n ee = {https://www.wikidata.org/entity/Q55393267},\n interhash = {1b68deeefdd9a9a1a20ee5ba6f507595},\n intrahash = {5d16e8e3ddde721aedcd7bdd3b043ac7},\n journal = {Formal Asp. Comput.},\n keywords = {dblp},\n number = 6,\n pages = {993-1016},\n timestamp = {2018-11-15T15:24:33.000+0100},\n title = {Applications of real number theorem proving in PVS.},\n url = {http://dblp.uni-trier.de/db/journals/fac/fac25.html#GottliebsenHLM13},\n volume = 25,\n year = 2013\n}\n\n","author_short":["Gottliebsen, H.","Hardy, R.","Lightfoot, O.","Martin, U."],"key":"journals/fac/GottliebsenHLM13","id":"journals/fac/GottliebsenHLM13","bibbaseid":"gottliebsen-hardy-lightfoot-martin-applicationsofrealnumbertheoremprovinginpvs-2013","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q55393267","Paper":"http://dblp.uni-trier.de/db/journals/fac/fac25.html#GottliebsenHLM13"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Hardy?items=1000","dataSources":["rN3BH95XsZidWYd7J"],"keywords":["dblp"],"search_terms":["applications","real","number","theorem","proving","pvs","gottliebsen","hardy","lightfoot","martin"],"title":"Applications of real number theorem proving in PVS.","year":2013}