=Volume=
{{Volume
|number=3009
|storemode=property
|wikidataid=Q113541844
|title=Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021)
|acronym=SOQE 2021
|url=http://ceur-ws.org/Vol-3009/
|date=2021-11-14
|dblp=conf/kr/2021soqe
|k10plus=1786130580
|urn=urn:nbn:de:0074-1155-8
}}