ATP Cross-Verification of the
Mizar MPTP Challenge Problems

by
Josef Urban Department of Theoretical Computer Science Charles University Czech Republic	Geoff Sutcliffe Department of Computer Science University of Miami USA