{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:05:01Z","timestamp":1769727901939,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":80,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642393198","type":"print"},{"value":"9783642393204","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39320-4_7","type":"book-chapter","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T11:22:52Z","timestamp":1372677772000},"page":"98-119","source":"Crossref","is-referenced-by-count":21,"title":["Mathematical Practice, Crowdsourcing, and Social Machines"],"prefix":"10.1007","author":[{"given":"Ursula","family":"Martin","sequence":"first","affiliation":[]},{"given":"Alison","family":"Pease","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"A Wiles, interview on PBS (2000), http:\/\/www.pbs.org\/wgbh\/nova\/physics\/andrew-wiles-fermat.html"},{"key":"7_CR2","unstructured":"http:\/\/events.inf.ed.ac.uk\/sicsa-mcp\/"},{"key":"7_CR3","unstructured":"OEIS Foundation Inc., The On-Line Encyclopedia of Integer Sequences (2011), http:\/\/oeis.org"},{"key":"7_CR4","unstructured":"www.innocentive.com (retrieved October 2012)"},{"key":"7_CR5","unstructured":"SOCIAM: the theory and practice of social machines, http:\/\/tinyurl.com\/cmmwbcf"},{"key":"7_CR6","unstructured":"http:\/\/ada00.math.uni-bielefeld.de\/mediawiki-1.18.1 (retrieved October 2012)"},{"key":"7_CR7","unstructured":"General polymath rules, http:\/\/polymathprojects.org\/general-polymath-rules\/"},{"key":"7_CR8","unstructured":"Which finite nonabelian groups have long chains of subgroups as intervals in their subgroup lattice? (April 2011), http:\/\/mathoverflow.net\/questions\/62495"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10503-005-4417-8","volume":"19","author":"A. Aberdein","year":"2005","unstructured":"Aberdein, A.: The uses of argument in mathematics. Argumentation\u00a019, 287\u2013301 (2005)","journal-title":"Argumentation"},{"issue":"4","key":"7_CR10","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1038\/scientificamerican1077-108","volume":"237","author":"K. Appel","year":"1977","unstructured":"Appel, K., Haken, W.: The solution of the four-color-map problem. Sci. Amer.\u00a0237(4), 108\u2013121, 152 (1977)","journal-title":"Sci. Amer."},{"key":"7_CR11","unstructured":"Baars, B.: A cognitive theory of consciousness. Cambridge University Press (1988)"},{"key":"7_CR12","unstructured":"Barany, M.J., MacKenzie, D.: Chalk: Materials and concepts in mathematics research. New Representation in Scientific Practice (forthcoming)"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195325539.001.0001","volume-title":"By Parallel Reasoning","author":"P. Bartha","year":"2010","unstructured":"Bartha, P.: By Parallel Reasoning. Oxford University Press, New York (2010)"},{"key":"7_CR14","unstructured":"Barton, B.: The Language of Mathematics: Telling Mathematical Tales. Mathematics Education Library, vol.\u00a046. Springer (2009)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MS.2013.13","volume":"30","author":"A. Begel","year":"2013","unstructured":"Begel, A., Bosch, J., Storey, M.-A.: Social Networking Meets Software Development: Perspectives from GitHub, MSDN, Stack Exchange, and TopCoder. IEEE Software\u00a030(1), 52\u201366 (2013)","journal-title":"IEEE Software"},{"key":"7_CR16","unstructured":"Berners-Lee, T., Fischetti, M.: Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor. HarperBusiness (2000)"},{"key":"7_CR17","unstructured":"Bourguignon, J.-P.: Mathematicians in France and in the world. L\u2019Explosion des Mathematiques, pp. 92\u201397. SMF et SMAI (July 2002)"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-011-9248-8","volume":"61","author":"A. Bundy","year":"2011","unstructured":"Bundy, A.: Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell.\u00a061(1), 3\u201314 (2011)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Intelligent Computer Mathematics","year":"2009","unstructured":"Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.): Calculemus\/MKM 2009. LNCS, vol.\u00a05625. Springer, Heidelberg (2009)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Carette, J., Farmer, W.M.: A Review of Mathematical Knowledge Management. In: [19], pp. 233\u2013246","DOI":"10.1007\/978-3-642-02614-0_21"},{"key":"7_CR21","volume-title":"Mathematical reasoning and heuristics","author":"C. Cellucci","year":"2005","unstructured":"Cellucci, C., Gillies, D.: Mathematical reasoning and heuristics. King\u2019s College Publications, London (2005)"},{"key":"7_CR22","unstructured":"Charnley, J.: A Global Workspace Framework for Combined Reasoning. PhD thesis, Imperial College, London (2010)"},{"issue":"6","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1017\/S0960129511000211","volume":"21","author":"J. Cheney","year":"2011","unstructured":"Cheney, J., Ahmed, A., Acar, U.A.: Provenance as dependency analysis. Mathematical Structures in Computer Science\u00a021(6), 1301\u20131337 (2011)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Colton, S.: Automated Theory Formation in Pure Mathematics. Springer (2002)","DOI":"10.1007\/978-1-4471-0147-5"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10994-006-8259-x","volume":"64","author":"S. Colton","year":"2006","unstructured":"Colton, S., Muggleton, S.: Mathematical applications of Inductive Logic Programming. Machine Learning\u00a064, 25\u201364 (2006)","journal-title":"Machine Learning"},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0039-3681(96)00002-7","volume":"28","author":"D. Corfield","year":"1997","unstructured":"Corfield, D.: Assaying Lakatos\u2019s philosophy of mathematics. Studies in History and Philosophy of Science\u00a028(1), 99\u2013121 (1997)","journal-title":"Studies in History and Philosophy of Science"},{"issue":"8","key":"7_CR27","first-page":"1127","volume":"58","author":"J. Crowley","year":"2011","unstructured":"Crowley, J., Hezlet, S., Kirby, R., McClure, D.: Mathematics journals: what is valued and what may change. Notices Amer. Math. Soc.\u00a058(8), 1127\u20131130 (2011); Report on the workshop held at MSRI, Berkeley, CA (February 14-16, 2011)","journal-title":"Notices Amer. Math. Soc."},{"issue":"5","key":"7_CR28","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"R.A. DeMillo","year":"1979","unstructured":"DeMillo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems and programs. Commun. ACM\u00a022(5), 271\u2013280 (1979)","journal-title":"Commun. ACM"},{"key":"7_CR29","volume-title":"Social constructivism as a philosophy of mathematics","author":"P. Ernest","year":"1997","unstructured":"Ernest, P.: Social constructivism as a philosophy of mathematics. State University of New York Press, Albany (1997)"},{"key":"7_CR30","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199285945.001.0001","volume-title":"Visual Thinking in Mathematics","author":"M. Giaquinto","year":"2007","unstructured":"Giaquinto, M.: Visual Thinking in Mathematics. Clarendon Press, Oxford (2007)"},{"key":"7_CR31","volume-title":"The presentation of self in everyday life","author":"E. Goffman","year":"1959","unstructured":"Goffman, E.: The presentation of self in everyday life. Doubleday Anchor Books, New York (1959)"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Gonthier, G.: Engineering mathematics: the odd order theorem proof. In: Giacobazzi, R., Cousot, R. (eds.) POPL, pp. 1\u20132. ACM (2013)","DOI":"10.1145\/2480359.2429071"},{"key":"7_CR33","unstructured":"Gowers, T.: Polymath1 and open collaborative mathematics, http:\/\/gowers.wordpress.com\/2009\/03\/10\/polymath1-and-open-collaborative-mathematics\/"},{"key":"7_CR34","unstructured":"Gowers, T.: Is massively collaborative mathematics possible? (March 2009), http:\/\/gowers.wordpress.com\/2009\/01\/27\/is-massively-collaborative-mathematics-possible\/"},{"issue":"7266","key":"7_CR35","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1038\/461879a","volume":"461","author":"T. Gowers","year":"2009","unstructured":"Gowers, T., Nielsen, M.: Massively collaborative mathematics. Nature\u00a0461(7266), 879\u2013881 (2009)","journal-title":"Nature"},{"issue":"1","key":"7_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00454-009-9148-4","volume":"44","author":"T.C. Hales","year":"2010","unstructured":"Hales, T.C., Harrison, J., McLaughlin, S., Nipkow, T., Obua, S., Zumkeller, R.: A revision of the proof of the kepler conjecture. Discrete & Computational Geometry\u00a044(1), 1\u201334 (2010)","journal-title":"Discrete & Computational Geometry"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Harrison, J.: Handbook of Practical Logic and Automated Reasoning. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511576430"},{"issue":"2","key":"7_CR38","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.artint.2009.11.010","volume":"174","author":"J. Hendler","year":"2010","unstructured":"Hendler, J., Berners-Lee, T.: From the semantic web to social machines: A research challenge for ai on the world wide web. Artif. Intell.\u00a0174(2), 156\u2013161 (2010)","journal-title":"Artif. Intell."},{"issue":"2","key":"7_CR39","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF00567741","volume":"88","author":"R. Hersh","year":"1991","unstructured":"Hersh, R.: Mathematics has a front and a back. Synthese\u00a088(2), 127\u2013133 (1991)","journal-title":"Synthese"},{"key":"7_CR40","unstructured":"Hume, D.: A treatise of human nature. Penguin Books (1969)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Johansson, M., Dixon, L., Bundy, A.: Conjecture synthesis for inductive theories. Journal of Automated Reasoning (2010) (forthcoming)","DOI":"10.1007\/s10817-010-9193-y"},{"issue":"2","key":"7_CR42","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MAHC.2003.1203057","volume":"25","author":"C.B. Jones","year":"2003","unstructured":"Jones, C.B.: The early search for tractable ways of reasoning about programs. IEEE Annals of the History of Computing\u00a025(2), 26\u201349 (2003)","journal-title":"IEEE Annals of the History of Computing"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Justin Cranshaw, J., Kittur, A.: The polymath project: Lessons from a successful online collaboration in mathematics. In: CHI, Vancouver, BC, Canada, May 7-12 (2011)","DOI":"10.1145\/1978942.1979213"},{"key":"7_CR44","volume-title":"The Nature of Mathematical Knowledge","author":"P. Kitcher","year":"1983","unstructured":"Kitcher, P.: The Nature of Mathematical Knowledge. Oxford University Press, Oxford (1983)"},{"issue":"3","key":"7_CR45","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11786-012-0113-x","volume":"6","author":"M. Kohlhase","year":"2012","unstructured":"Kohlhase, M., Rabe, F.: Semantics of OpenMath and MathML3. Mathematics in Computer Science\u00a06(3), 235\u2013260 (2012)","journal-title":"Mathematics in Computer Science"},{"key":"7_CR46","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I.: Proofs and Refutations. Cambridge University Press, Cambridge (1976)"},{"key":"7_CR47","volume-title":"Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being","author":"G. Lakoff","year":"2000","unstructured":"Lakoff, G., N\u00fa\u00f1ez, R.: Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being. Basic Books, New York (2000)"},{"issue":"3","key":"7_CR48","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10649-007-9106-0","volume":"67","author":"S. Larsen","year":"2008","unstructured":"Larsen, S., Zandieh, M.: Proofs and refutations in the undergraduate mathematics classroom. Educational Studies in Mathematics\u00a067(3), 205\u2013216 (2008)","journal-title":"Educational Studies in Mathematics"},{"key":"7_CR49","volume-title":"Lakatos: An Introduction","author":"B. Larvor","year":"1998","unstructured":"Larvor, B.: Lakatos: An Introduction. Routledge, London (1998)"},{"key":"7_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.websem.2011.12.004","volume":"12","author":"J. Lehmann","year":"2012","unstructured":"Lehmann, J., Varzinczak, I.J., Bundy, A.: Reasoning with context in the semantic web. J. Web Sem.\u00a012, 1\u20132 (2012)","journal-title":"J. Web Sem."},{"key":"7_CR51","first-page":"833","volume-title":"Proceedings of the 5th International Joint Conference on Artificial Intelligence","author":"D.B. Lenat","year":"1977","unstructured":"Lenat, D.B.: Automated theory formation in mathematics. In: Proceedings of the 5th International Joint Conference on Artificial Intelligence, pp. 833\u2013842. Morgan Kaufmann, Cambridge (1977)"},{"key":"7_CR52","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4529.001.0001","volume-title":"Mechanizing proof","author":"D. MacKenzie","year":"2001","unstructured":"MacKenzie, D.: Mechanizing proof. MIT Press, Cambridge (2001)"},{"key":"7_CR53","volume-title":"Visualization, Explanation and Reasoning Styles in Mathematics","year":"2005","unstructured":"Mancosu, P., J\u00f8rgensen, K.F., Pedersen, S.A. (eds.): Visualization, Explanation and Reasoning Styles in Mathematics. Springer, Dordrecht (2005)"},{"key":"7_CR54","volume-title":"The Philosophy of Mathematical Practice","year":"2008","unstructured":"Mancosu, P. (ed.): The Philosophy of Mathematical Practice. Oxford University Press, USA (2008)"},{"key":"7_CR55","doi-asserted-by":"crossref","unstructured":"McCasland, R., Bundy, A.: MATHsAiD: a Mathematical Theorem Discovery Tool. In: Proceedings of SYNASC, pp. 17\u201322. IEEE (2006)","DOI":"10.1109\/SYNASC.2006.51"},{"key":"7_CR56","series-title":"NATO Adv. Sci. Ser. F Comput. Systems Sci.","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-642-58622-4_9","volume-title":"Computational logic (Marktoberdorf, 1997)","author":"U. Martin","year":"1999","unstructured":"Martin, U.: Computers, reasoning and mathematical practice. In: Computational logic (Marktoberdorf, 1997). NATO Adv. Sci. Ser. F Comput. Systems Sci., vol.\u00a0165, pp. 301\u2013346. Springer, Berlin (1999)"},{"key":"7_CR57","unstructured":"Martin, U., Pease, A.: The mathematics social machine will be social! In: SOHUMAN 2013 (to appear, 2013)"},{"issue":"3","key":"7_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2007070101","volume":"3","author":"F. McNeill","year":"2007","unstructured":"McNeill, F., Bundy, A.: Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. Int. J. Semantic Web Inf. Syst.\u00a03(3), 1\u201335 (2007)","journal-title":"Int. J. Semantic Web Inf. Syst."},{"issue":"2","key":"7_CR59","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10817-010-9182-1","volume":"45","author":"V. Nigam","year":"2010","unstructured":"Nigam, V., Miller, D.: A Framework for Proof Systems. J. Autom. Reasoning\u00a045(2), 157\u2013188 (2010)","journal-title":"J. Autom. Reasoning"},{"issue":"2","key":"7_CR60","doi-asserted-by":"publisher","first-page":"1637","DOI":"10.1016\/j.eswa.2011.06.055","volume":"39","author":"O. Montano-Rivas","year":"2011","unstructured":"Montano-Rivas, O., McCasland, R., Dixon, L., Bundy, A.: Scheme-based theorem discovery and concept invention. Expert Systems with Applications\u00a039(2), 1637\u20131646 (2011)","journal-title":"Expert Systems with Applications"},{"key":"7_CR61","doi-asserted-by":"crossref","unstructured":"Nielsen, M.: Reinventing discovery: the new era of networked science. Princeton University Press (2011)","DOI":"10.2307\/j.ctt7s4vx"},{"issue":"3","key":"7_CR62","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF00376323","volume":"31","author":"K. Nunokawa","year":"1996","unstructured":"Nunokawa, K.: Applying Lakatos\u2019 theory to the theory of mathematical problem solving. Educational Studies in Mathematics\u00a031(3), 269\u2013293 (1996)","journal-title":"Educational Studies in Mathematics"},{"key":"7_CR63","unstructured":"Pease, A.: A Computational Model of Lakatos-style Reasoning. PhD thesis, School of Informatics, University of Edinburgh (2007), http:\/\/hdl.handle.net\/1842\/2113"},{"key":"7_CR64","unstructured":"Pease, A., Colton, S., Charnley, J.: Automated theory formation: The next generation. IFCoLog Lectures in Computational Logic (forthcoming, 2013)"},{"key":"7_CR65","unstructured":"Pease, A., Martin, U.: Seventy four minutes of mathematics: An analysis of the third mini-polymath project. In: Proc. AISB Symp. on Mathematical Practice and Cognition II, pp. 19\u201329 (2012)"},{"key":"7_CR66","unstructured":"Plato: The Republic. OUP, Oxford (1993)"},{"key":"7_CR67","doi-asserted-by":"crossref","unstructured":"P\u00f3lya, G.: How to solve it. Princeton University Press (1945)","DOI":"10.1515\/9781400828678"},{"key":"7_CR68","volume-title":"Mathematical Discovery","author":"G. P\u00f3lya","year":"1962","unstructured":"P\u00f3lya, G.: Mathematical Discovery. John Wiley and Sons, New York (1962)"},{"issue":"3","key":"7_CR69","doi-asserted-by":"publisher","first-page":"1283","DOI":"10.4007\/annals.2012.175.3.6","volume":"175","author":"D.H.J. Polymath","year":"2012","unstructured":"Polymath, D.H.J.: A new proof of the density Hales-Jewett theorem. Ann. of Math. (2)\u00a0175(3), 1283\u20131327 (2012)","journal-title":"Ann. of Math. (2)"},{"key":"7_CR70","volume-title":"Objective Knowledge","author":"K.R. Popper","year":"1972","unstructured":"Popper, K.R.: Objective Knowledge. OUP, Ely House (1972)"},{"issue":"1","key":"7_CR71","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/MS.2009.22","volume":"26","author":"D. Roure De","year":"2009","unstructured":"De Roure, D., Goble, C.A.: Software design for empowering scientists. IEEE Software\u00a026(1), 88\u201395 (2009)","journal-title":"IEEE Software"},{"key":"7_CR72","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1086\/590198","volume":"75","author":"D. Schlimm","year":"2008","unstructured":"Schlimm, D.: Two ways of analogy: Extending the study of analogies to mathematical domains. Philosophy of Science\u00a075, 178\u2013200 (2008)","journal-title":"Philosophy of Science"},{"issue":"5","key":"7_CR73","doi-asserted-by":"publisher","first-page":"283","DOI":"10.2307\/2690409","volume":"60","author":"A.H. Schoenfeld","year":"1987","unstructured":"Schoenfeld, A.H.: P\u00f3lya, problem solving, and education. Mathematics Magazine\u00a060(5), 283\u2013291 (1987)","journal-title":"Mathematics Magazine"},{"key":"7_CR74","first-page":"171","volume":"2","author":"H. Simon","year":"1997","unstructured":"Simon, H.: Machine discovery. Foundations of Science\u00a02, 171\u2013200 (1997)","journal-title":"Foundations of Science"},{"key":"7_CR75","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1093\/acprof:oso\/9780199296453.003.0010","volume-title":"The Philosophy of Mathematical Practice","author":"J. Tappenden","year":"2008","unstructured":"Tappenden, J.: Mathematical concepts and definitions. In: Mancosu, P. (ed.) The Philosophy of Mathematical Practice, pp. 256\u2013275. Oxford University Press, Oxford (2008)"},{"key":"7_CR76","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1093\/acprof:oso\/9780199296453.003.0011","volume-title":"The Philosophy of Mathematical Practice","author":"J. Tappenden","year":"2008","unstructured":"Tappenden, J.: Mathematical concepts: Fruitfulness and naturalness. In: Mancosu, P. (ed.) The Philosophy of Mathematical Practice, pp. 276\u2013301. Oxford University Press, Oxford (2008)"},{"key":"7_CR77","doi-asserted-by":"crossref","unstructured":"Tausczik, Y.R., Pennebaker, J.W.: Predicting the perceived quality of online mathematics contributions from users\u2019 reputations. In: Tan, D.S., Amershi, S., Begole, B., Kellogg, W.A., Tungare, M. (eds.) CHI, pp. 1885\u20131888. ACM (2011)","DOI":"10.1145\/1978942.1979215"},{"key":"7_CR78","doi-asserted-by":"crossref","unstructured":"Tausczik, Y.R., Pennebaker, J.W.: Participation in an online mathematics community: differentiating motivations to add. In: Poltrock, S.E., Simone, C., Grudin, J., Mark, G., Riedl, J. (eds.) CSCW, pp. 207\u2013216. ACM (2012)","DOI":"10.1145\/2145204.2145237"},{"key":"7_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-36675-8_13","volume-title":"Automated Reasoning and Mathematics","author":"J. Urban","year":"2013","unstructured":"Urban, J., Vysko\u010dil, J.: Theorem proving in large formal mathematics as an emerging AI field. In: Bonacina, M.P., Stickel, M.E. (eds.) Automated Reasoning and Mathematics. LNCS, vol.\u00a07788, pp. 240\u2013257. Springer, Heidelberg (2013)"},{"issue":"6","key":"7_CR80","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1349026.1349043","volume":"51","author":"D.J. Weitzner","year":"2008","unstructured":"Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Commun. ACM\u00a051(6), 82\u201387 (2008)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39320-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,29]],"date-time":"2020-07-29T11:52:44Z","timestamp":1596023564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39320-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642393198","9783642393204"],"references-count":80,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39320-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}