@article{journals/jar/GentW02,
  added-at = {2011-05-19T00:00:00.000+0200},
  author = {Gent, Ian P. and Walsh, Toby},
  biburl = {http://www.bibsonomy.org/bibtex/2ab7df24a1389ad53250e92f56df54c21/dblp},
  ee = {http://dx.doi.org/10.1023/A:1015051815026},
  interhash = {a1aeaf190368e2f42dd1f7062cb208ee},
  intrahash = {ab7df24a1389ad53250e92f56df54c21},
  journal = {J. Autom. Reasoning},
  keywords = {dblp},
  number = 2,
  pages = 99,
  timestamp = {2011-05-20T11:35:54.000+0200},
  title = {Satisfiability in the Year 2000.},
  url = {http://dblp.uni-trier.de/db/journals/jar/jar28.html#GentW02},
  volume = 28,
  year = 2002
}

{"_id":"jz5TKri96Yvbre2tg","bibbaseid":"gent-walsh-satisfiabilityintheyear2000-2002","downloads":0,"creationDate":"2016-06-06T06:47:32.661Z","title":"Satisfiability in the Year 2000.","author_short":["Gent, I. P.","Walsh, T."],"year":2002,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Toby Walsh?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2011-05-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Gent"],"firstnames":["Ian","P."],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Toby"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2ab7df24a1389ad53250e92f56df54c21/dblp","ee":"http://dx.doi.org/10.1023/A:1015051815026","interhash":"a1aeaf190368e2f42dd1f7062cb208ee","intrahash":"ab7df24a1389ad53250e92f56df54c21","journal":"J. Autom. Reasoning","keywords":"dblp","number":"2","pages":"99","timestamp":"2011-05-20T11:35:54.000+0200","title":"Satisfiability in the Year 2000.","url":"http://dblp.uni-trier.de/db/journals/jar/jar28.html#GentW02","volume":"28","year":"2002","bibtex":"@article{journals/jar/GentW02,\n added-at = {2011-05-19T00:00:00.000+0200},\n author = {Gent, Ian P. and Walsh, Toby},\n biburl = {http://www.bibsonomy.org/bibtex/2ab7df24a1389ad53250e92f56df54c21/dblp},\n ee = {http://dx.doi.org/10.1023/A:1015051815026},\n interhash = {a1aeaf190368e2f42dd1f7062cb208ee},\n intrahash = {ab7df24a1389ad53250e92f56df54c21},\n journal = {J. Autom. Reasoning},\n keywords = {dblp},\n number = 2,\n pages = 99,\n timestamp = {2011-05-20T11:35:54.000+0200},\n title = {Satisfiability in the Year 2000.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar28.html#GentW02},\n volume = 28,\n year = 2002\n}\n\n","author_short":["Gent, I. P.","Walsh, T."],"key":"journals/jar/GentW02","id":"journals/jar/GentW02","bibbaseid":"gent-walsh-satisfiabilityintheyear2000-2002","role":"author","urls":{"Link":"http://dx.doi.org/10.1023/A:1015051815026","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar28.html#GentW02"},"keyword":["dblp"],"downloads":0},"search_terms":["satisfiability","year","2000","gent","walsh"],"keywords":["dblp"],"authorIDs":["5460adb6cff45d9c64000123"],"dataSources":["bNJMXJJ4ihqTFb87D"]}