On the arithmetics of theorem proving

DOWNLOAD

We present the arithmetization of strings in order to be deployed as an alternative model for automatic theorem proving.

https://doi.org/10.31219/osf.io/ega6t

Open Quantum Collaboration

Op. J. Math. Phys.
Volume 3, Article 202, 2021 [HZ]