Wikidata entity: Q5159939
| P31 | instance of | ... | Q47258130 (academic conference series) | academic conference series |
| P921 | main subject | ... | Q431667 (automated theorem proving) | automated theorem proving |
| P1382 | partially coincident with | ... | Q6051264 (International Joint Conference on Automated Reasoning) | International Joint Conference on Automated Reasoning |
| P1813 | short name | Monolingualtext | CADE | ??? |
| P1476 | title | Monolingualtext | Conference on Automated Deduction | ??? |
| P2699 | URL | Url | International Conference on Automated Deduction | Springer Nature Link (formerly SpringerLink) | ??? |
| P8926 | DBLP venue ID | conf/cade |
| P646 | Freebase ID | /m/07g2vn |
| P227 | GND ID | 125954-4 |
| P244 | Library of Congress authority ID | n80082907 |
| P6366 | Microsoft Academic ID (discontinued) | 1134440762 |
| P10283 | OpenAlex ID | S4306418023 |
| P214 | VIAF cluster ID | 152442227 |
| P5127 | WikiCFP conference series ID | 341 |
Why not click here or view trends?
log id: 7497093