Sentence complexity of theorems in Mizar.

Published in: CoRR (2013)

Keyphrases

computational complexity
worst case
decision problems
machine learning
artificial intelligence
bayesian networks
computer assisted
real time
databases
real world
data mining
sentence level