TY  - GEN
AU  - Kaliszyk,Cezary
AU  - Urban,Josef
TI  - Learning-assisted theorem proving with millions of lemmas
SN  - 0747-7171
PY  - 2015///
PB  - Journal of symbolic computation
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1016/j.jsc.2014.09.032
ER  -