TY  - RPRT
TI  - Computer Runtimes and the Length of Proofs: On an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving
AU  - Hector Zenil
PY  - 2012
UR  - https://arxiv.org/abs/1201.0825
ID  - 1201.0825
ER  -