=Volume=
{{Volume
|number=4008
|storemode=property
|wikidataid=None
|title=Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop
|acronym=SMT+PoS 2025
|url=None
|date=2025-08-07
|urn=urn:nbn:de:0074-1155-8
}}