=Volume=
{{Volume
|number=4003
|storemode=property
|wikidataid=None
|title=Proceedings of the 40th Italian Conference on Computational Logic
|acronym=CILC 2025
|url=None
|date=2028-07-28
|urn=urn:nbn:de:0074-1155-8
}}