Conference on Automated Deduction

Summary

Conference on Automated Deduction is an academic conference series^[1]. It draws 5 Wikipedia views per month (academic_conference_series category, ranking #29 of 83).^[2]

Key Facts

• Conference on Automated Deduction's instance of is recorded as academic conference series^[3].
• Conference on Automated Deduction's VIAF cluster ID is recorded as 152442227^[4].
• Conference on Automated Deduction's GND ID is recorded as 125954-4^[5].
• Conference on Automated Deduction's Library of Congress authority ID is recorded as n80082907^[6].
• Conference on Automated Deduction's Freebase ID is recorded as /m/07g2vn^[7].
• Conference on Automated Deduction's main subject is recorded as automated theorem proving^[8].
• Conference on Automated Deduction's partially coincident with is recorded as International Joint Conference on Automated Reasoning^[9].
• Conference on Automated Deduction's title is recorded as Conference on Automated Deduction^[10].
• Conference on Automated Deduction's short name is recorded as CADE^[11].
• Conference on Automated Deduction's URL is recorded as https://link.springer.com/conference/cade^[12].
• Conference on Automated Deduction's WikiCFP conference series ID is recorded as 341^[13].
• Conference on Automated Deduction's Microsoft Academic ID is recorded as 1134440762^[14].
• Conference on Automated Deduction's DBLP venue ID is recorded as conf/cade^[15].
• Conference on Automated Deduction's OpenAlex ID is recorded as S4306418023^[16].

Why It Matters

Conference on Automated Deduction draws 5 Wikipedia views per month (academic_conference_series category, ranking #29 of 83).^[2]