Disambiguation evidence for International Conference on Automated Reasoning with Analytic Tableaux and Related Methods via surface form
"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods"
Triples (1)
Triples where some other subject referred to this entity
as "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods".
TABLEAUX
→
hasAbbreviation
→
"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods"
ⓘ