Disambiguation evidence for Proceedings of the Third Annual ACM Symposium on Theory of Computing via surface form

"Proceedings of the Third Annual ACM Symposium on Theory of Computing"

Triples (2)

Triples where some other subject referred to this entity as "Proceedings of the Third Annual ACM Symposium on Theory of Computing".

The Complexity of Theorem-Proving Procedures → publishedIn →
"Proceedings of the Third Annual ACM Symposium on Theory of Computing"
↳ resolves to Proceedings of the Third Annual ACM Symposium on Theory of Computing
ⓘ
linked to: "The Complexity of Theorem-Proving Procedures"
Cook–Levin theorem → publishedIn →
"Proceedings of the Third Annual ACM Symposium on Theory of Computing"
↳ resolves to Proceedings of the Third Annual ACM Symposium on Theory of Computing
ⓘ