@inproceedings{conf/amast/Marx98,
  added-at = {2019-10-19T00:00:00.000+0200},
  author = {Marx, Maarten},
  biburl = {https://www.bibsonomy.org/bibtex/211272c1fe73a434c789ba15a4e9b11c2/dblp},
  booktitle = {AMAST},
  crossref = {conf/amast/1998},
  editor = {Haeberer, Armando Martin},
  ee = {https://doi.org/10.1007/3-540-49253-4_13},
  interhash = {5e7116efa816c96cc2c10c1401ffb566},
  intrahash = {11272c1fe73a434c789ba15a4e9b11c2},
  isbn = {3-540-65462-3},
  keywords = {dblp},
  pages = {154-163},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-10-22T14:53:38.000+0200},
  title = {Interpolation in Modal Logic.},
  url = {http://dblp.uni-trier.de/db/conf/amast/amast98.html#Marx98},
  volume = 1548,
  year = 1998
}

{"_id":"7yMCiZ4bav5TeYKhH","bibbaseid":"marx-interpolationinmodallogic-1998","author_short":["Marx, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-10-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Marx"],"firstnames":["Maarten"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/211272c1fe73a434c789ba15a4e9b11c2/dblp","booktitle":"AMAST","crossref":"conf/amast/1998","editor":[{"propositions":[],"lastnames":["Haeberer"],"firstnames":["Armando","Martin"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-49253-4_13","interhash":"5e7116efa816c96cc2c10c1401ffb566","intrahash":"11272c1fe73a434c789ba15a4e9b11c2","isbn":"3-540-65462-3","keywords":"dblp","pages":"154-163","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-10-22T14:53:38.000+0200","title":"Interpolation in Modal Logic.","url":"http://dblp.uni-trier.de/db/conf/amast/amast98.html#Marx98","volume":"1548","year":"1998","bibtex":"@inproceedings{conf/amast/Marx98,\n added-at = {2019-10-19T00:00:00.000+0200},\n author = {Marx, Maarten},\n biburl = {https://www.bibsonomy.org/bibtex/211272c1fe73a434c789ba15a4e9b11c2/dblp},\n booktitle = {AMAST},\n crossref = {conf/amast/1998},\n editor = {Haeberer, Armando Martin},\n ee = {https://doi.org/10.1007/3-540-49253-4_13},\n interhash = {5e7116efa816c96cc2c10c1401ffb566},\n intrahash = {11272c1fe73a434c789ba15a4e9b11c2},\n isbn = {3-540-65462-3},\n keywords = {dblp},\n pages = {154-163},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-10-22T14:53:38.000+0200},\n title = {Interpolation in Modal Logic.},\n url = {http://dblp.uni-trier.de/db/conf/amast/amast98.html#Marx98},\n volume = 1548,\n year = 1998\n}\n\n","author_short":["Marx, M."],"editor_short":["Haeberer, A. M."],"key":"conf/amast/Marx98","id":"conf/amast/Marx98","bibbaseid":"marx-interpolationinmodallogic-1998","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-49253-4_13","Paper":"http://dblp.uni-trier.de/db/conf/amast/amast98.html#Marx98"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/maarten marx?items=1000","dataSources":["Siuk2oSXMdsbEd2r9","aKX2T7ef3GscsArHw"],"keywords":["dblp"],"search_terms":["interpolation","modal","logic","marx"],"title":"Interpolation in Modal Logic.","year":1998}