=Volume=
{{Volume
|number=32
|storemode=property
|wikidataid=Q113502209
|title=Automated Reasoning Workshop 2000
|acronym=ARW 2000
|url=http://ceur-ws.org/Vol-32/
|date=2000-08-22
|dblp=conf/arw/2000
|urn=urn:nbn:de:0074-1155-8
}}