=Volume=
{{Volume
|number=4116
|storemode=property
|wikidataid=None
|title=Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025)
|acronym=SC-Square 2025
|url=None
|date=2025-12-02
|urn=urn:nbn:de:0074-1155-8
}}