@inproceedings{conf/tark/Lipman94,
  added-at = {2002-03-05T00:00:00.000+0100},
  author = {Lipman, Barton L.},
  biburl = {https://www.bibsonomy.org/bibtex/216afecb1384b984ff3735934f9160ad9/dblp},
  booktitle = {TARK},
  crossref = {conf/tark/1994},
  date = {2002-03-05},
  description = {dblp},
  editor = {Fagin, Ronald},
  interhash = {b76612bdf71278b90f9175b160e8061d},
  intrahash = {16afecb1384b984ff3735934f9160ad9},
  keywords = {dblp},
  pages = {182-196},
  publisher = {Morgan Kaufmann},
  timestamp = {2002-03-05T00:00:00.000+0100},
  title = {An Axiomatic Approach to the Logical Omniscience Problem.},
  url = {http://dblp.uni-trier.de/db/conf/tark/tark1994.html#Lipman94},
  year = 1994
}

{"_id":"u3ChDeXW4iHf4ZFQo","bibbaseid":"lipman-anaxiomaticapproachtothelogicalomniscienceproblem-1994","author_short":["Lipman, B. L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2002-03-05T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Lipman"],"firstnames":["Barton","L."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/216afecb1384b984ff3735934f9160ad9/dblp","booktitle":"TARK","crossref":"conf/tark/1994","date":"2002-03-05","description":"dblp","editor":[{"propositions":[],"lastnames":["Fagin"],"firstnames":["Ronald"],"suffixes":[]}],"interhash":"b76612bdf71278b90f9175b160e8061d","intrahash":"16afecb1384b984ff3735934f9160ad9","keywords":"dblp","pages":"182-196","publisher":"Morgan Kaufmann","timestamp":"2002-03-05T00:00:00.000+0100","title":"An Axiomatic Approach to the Logical Omniscience Problem.","url":"http://dblp.uni-trier.de/db/conf/tark/tark1994.html#Lipman94","year":"1994","bibtex":"@inproceedings{conf/tark/Lipman94,\n added-at = {2002-03-05T00:00:00.000+0100},\n author = {Lipman, Barton L.},\n biburl = {https://www.bibsonomy.org/bibtex/216afecb1384b984ff3735934f9160ad9/dblp},\n booktitle = {TARK},\n crossref = {conf/tark/1994},\n date = {2002-03-05},\n description = {dblp},\n editor = {Fagin, Ronald},\n interhash = {b76612bdf71278b90f9175b160e8061d},\n intrahash = {16afecb1384b984ff3735934f9160ad9},\n keywords = {dblp},\n pages = {182-196},\n publisher = {Morgan Kaufmann},\n timestamp = {2002-03-05T00:00:00.000+0100},\n title = {An Axiomatic Approach to the Logical Omniscience Problem.},\n url = {http://dblp.uni-trier.de/db/conf/tark/tark1994.html#Lipman94},\n year = 1994\n}\n\n","author_short":["Lipman, B. L."],"editor_short":["Fagin, R."],"key":"conf/tark/Lipman94","id":"conf/tark/Lipman94","bibbaseid":"lipman-anaxiomaticapproachtothelogicalomniscienceproblem-1994","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/tark/tark1994.html#Lipman94"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Lipman?items=1000","dataSources":["turPpdGXp44wXFcXX"],"keywords":["dblp"],"search_terms":["axiomatic","approach","logical","omniscience","problem","lipman"],"title":"An Axiomatic Approach to the Logical Omniscience Problem.","year":1994}