{"version.version":"0.1.1","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4228.html","spt.number":4228,"spt.acronym":"CI-BD-SOQE 2026","spt.wikidataid":"Q141603235","spt.title":"Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026)","spt.description":"Proceedings of CI-BD-SOQE 2026 workshop","spt.url":"https://ceur-ws.org/Vol-4228/","spt.date":"2026-07-23","spt.dblp":null,"spt.k10plus":null,"spt.urn":"urn:nbn:de:0074-4228-x","cvb.number":4228,"cvb.url":"https://ceur-ws.org/Vol-4228/","cvb.title":"Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026)","cvb.fullTitle":null,"cvb.acronym":"CI-BD-SOQE 2026","cvb.lang":null,"cvb.location":null,"cvb.country":"Portugal","cvb.countryWikidataId":"Q45","cvb.region":null,"cvb.city":"Lisbon","cvb.cityWikidataId":"Q597","cvb.ordinal":null,"cvb.date":null,"cvb.dateFrom":"2026-07-24","cvb.dateTo":"2026-07-25","cvb.pubYear":null,"cvb.pubDate":"2026-07-23T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Stefan Hetzl, Jean Christoph Jung, Renate A. Schmidt, Christoph Wernhard","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Christoph Wernhard","cvb.fromLine":1216,"cvb.toLine":1233,"cvb.loctime":"Lisbon, Portugal, July 24–25, 2026","cvb.tdtitle":"Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026),Lisbon, Portugal, July 24–25, 2026.","cvb.seealso":"","cvb.volname":"https://ceur-ws.org/Vol-4228/","cvb.published":"2026-07-23","cvb.year":"2026","cvb.urn":"urn:nbn:de:0074-4228-x","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-4228.zip","cvb.desc":"?","cvb.h1":"CI-BD-SOQE 2026 Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination","cvb.volume_number":"Vol-4228","cvb.ceurpubdate":"2026-07-23","cvb.voltitle":"Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination","cvb.colocated":"FLoC 2026","cvb.homepage":"http://2026.ci-bd.soqe.org","cvb.h3":"Stefan Hetzl 1 Jean Christoph Jung 2 Renate A. Schmidt 3 Christoph Wernhard 4","cvb.urn_check_digit":1,"cvb.urn_ok":false,"wd.item":"http://www.wikidata.org/entity/Q141603235","wd.itemLabel":"Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026)","wd.itemDescription":"Proceedings of CI-BD-SOQE 2026 workshop","wd.sVolume":4228,"wd.Volume":null,"wd.short_name":"CI-BD-SOQE 2026","wd.dblpProceedingsId":null,"wd.title":"Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026)","wd.language_of_work_or_name":null,"wd.language_of_work_or_nameLabel":null,"wd.URN_NBN":"urn:nbn:de:0074-4228-x","wd.publication_date":"2026-07-23T00:00:00","wd.described_at_URL":"https://ceur-ws.org/Vol-4228/","wd.event":"http://www.wikidata.org/entity/Q141603236","wd.eventLabel":"Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026)","wd.eventSeries":"","wd.eventSeriesLabel":"","wd.eventSeriesOrdinal":"","wd.dblpEventId":"conf/soqe/soqe2026","wd.fullWorkUrl":"https://ceur-ws.org/Vol-4228/","wd.homePage":null,"wd.ppnId":null}