Who finds the short proof?

Overview of attention for article published in Logic Journal of the IGPL, January 2023

Altmetric Badge

About this Attention Score

Above-average Attention Score compared to outputs of the same age (53rd percentile)

Mentioned by

twitter: 5 X users

So far, Altmetric has seen 16 X posts from 5 X users, with an upper bound of 8,671 followers.

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers https://t.co/l47jTDFgjo

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers https://t.co/l47jTDn75g

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers https://t.co/l47jTDFgjo

RT @mathLOb: This https://t.co/AvelC0Xrms has been replaced. Links: https://t.co/h3NvyLH6d0 https://t.co/LkQ0V8XJfQ https://t.co/JpMEVKXtZ5…

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity, including 12 additional X posts.