Browse history From year (and earlier): From month (and earlier): all January February March April May June July August September October November December Deleted only For any version listed below, click on its date to view it. For more help, see Help:Page history. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary (cur | prev) 18:58, February 22, 2018 Ngocminh.oss (wall | contribs) . . (1,612 bytes) (+1,612) . . (Created page with "(Kaliszyk et al. 2017)<ref>Kaliszyk, C., Urban, J., & Vyskočil, J. (2017). Automating formalization by statistical and semantic parsing of mathematics. ''Lecture Notes in Com...") (VisualEditor) Retrieved from "https://natural-language-understanding.fandom.com/wiki/Automatic_formalization" Community content is available under CC-BY-SA unless otherwise noted.