{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T11:14:59Z","timestamp":1726312499083},"reference-count":10,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1626509","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T17:57:44Z","timestamp":1336586264000},"source":"Crossref","is-referenced-by-count":14,"title":["On the Inconsistency of Mumma's Eu"],"prefix":"10.1215","volume":"53","author":[{"given":"Nathaniel","family":"Miller","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Euclid, <i>The Thirteen Books of Euclid's Elements Translated from the Text of Heiberg. Vol. I: Introduction and Books I, II<\/i>. Vol. II: Books III\u2013IX. Vol. III: Books X\u2013XIII and Appendix, 2nd edition, edited by T. L. Heath, Dover Publications Inc., New York, 1956."},{"key":"2","doi-asserted-by":"crossref","unstructured":"Luengo, I., \"A diagrammatic subsystem of Hilbert's geometry\", pp. 149\u201376 in <i>Logical Reasoning with Diagrams<\/i>, edited by G. Allwein and J. Barwise, vol. 6 of <i>Studies in Logic and Computation<\/i>, Oxford University Press, New York, 1996.","DOI":"10.1093\/oso\/9780195104271.003.0012"},{"key":"3","unstructured":"Luengo, I. P., <i>Diagrams in Geometry<\/i>, ProQuest LLC, Ann Arbor, 1995. Ph.D. Thesis, Indiana University."},{"key":"4","doi-asserted-by":"crossref","unstructured":"Manders, K., \"The Euclidean diagram\", pp. 80\u2013133 in <i>The Philosophy of Mathematical Practice<\/i>, edited by P. Mancosu, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199296453.003.0005"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Miller, N., \"Computational complexity of diagram satisfaction in Euclidean geometry\", <i>Journal of Complexity<\/i>, vol. 22 (2006), pp. 250\u201374.","DOI":"10.1016\/j.jco.2005.09.003"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Miller, N., <i>Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry<\/i>, Studies in the Theory and Applications of Diagrams. CSLI Publications, Stanford, 2007.","DOI":"10.1007\/11783183_16"},{"key":"7","unstructured":"Mumma, J., <i>Intuition Formalized: Ancient and Modern Methods of Proof in Elementary Geometry<\/i>, Ph.D. thesis, Carnegie Mellon University, 2006. Available at www.contrib.andrew.cmu.edu\/~ jmumma\/list.html"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Mumma, J., \"Ensuring generality in Euclid's diagrammatic arguments\", pp. 222\u201335 in <i>Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008<\/i>, edited by G. Stapleton, J. Howse, and J. Lee, vol. 5223 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2008.","DOI":"10.1007\/978-3-540-87730-1_21"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Mumma, J., \"Review of Euclid and his twentieth century rivals: Diagrams in the logic of Euclidean geometry\", <i>Philosophia Mathematica<\/i>, vol. 16 (2008), pp. 256\u201364.","DOI":"10.1093\/philmat\/nkn003"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Mumma, J., \"Proofs, pictures, and Euclid\", <i>Synthese<\/i>, vol. 175 (2010), pp. 255\u201387.","DOI":"10.1007\/s11229-009-9509-9"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1626509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:46Z","timestamp":1706648266000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-1\/On-the-Inconsistency-of-Mummas-Eu\/10.1215\/00294527-1626509.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":10,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1626509","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}