# Conference on Automated Deduction

> conference series on automated theorem proving

**Wikidata**: [Q5159939](https://www.wikidata.org/wiki/Q5159939)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Conference_on_Automated_Deduction)  
**Source**: https://4ort.xyz/entity/conference-on-automated-deduction


## References

1. Virtual International Authority File
2. Integrated Authority File
3. [dblp computer science bibliography](https://dblp.org/db/conf/cade/)
4. Microsoft Academic
5. OpenAlex