=Volume=
{{Volume
|number=4228
|storemode=property
|wikidataid=Q141603235
|title=Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026)
|acronym=CI-BD-SOQE 2026
|url=https://ceur-ws.org/Vol-4228/
|date=2026-07-23
|urn=urn:nbn:de:0074-1155-8
}}