Automated Deduction – CADE 29

Overview of attention for book

Springer Nature

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 3 X users

reddit: 1 Redditor

Citations

dimensions_citation: 1 Dimensions

Summary X Reddit Dimensions citations

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 21,510 followers.

Superposition with Delayed Unification. https://t.co/tW9B697z2P

11 Mar 2024

Reply Repost Favourite

Check out this fascinating blog post about "Superposition with Delayed Unification" which explores integrating unification into the calculus level in saturation-based proof systems. Discover the benefits and experimental evaluation here: https://t.co/FenCw

11 Mar 2024

Reply Repost Favourite

Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings https://t.co/TPnxxPN0v2 https://t.co/aBiHkm5FQQ

19 Sep 2023

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.

Automated Deduction – CADE 29

Table of Contents

Mentioned by

Citations