=Volume=
{{Volume
|number=3185
|storemode=property
|wikidataid=Q113519123
|title=Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories
|acronym=SMT 2022
|url=http://ceur-ws.org/Vol-3185/
|date=2022-08-14
|dblp=conf/smt/2022
|k10plus=1818959798
|urn=urn:nbn:de:0074-1155-8
}}