{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T23:20:20Z","timestamp":1772580020686,"version":"3.50.1"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1023\/a:1027322305654","type":"journal-article","created":{"date-parts":[[2003,11,9]],"date-time":"2003-11-09T22:46:39Z","timestamp":1068417999000},"page":"1-9","source":"Crossref","is-referenced-by-count":4,"title":["A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke"],"prefix":"10.1007","volume":"31","author":[{"given":"Robert","family":"Veroff","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5117750_CR1","first-page":"1","volume":"2","author":"J. McCharen","year":"1976","unstructured":"McCharen, J., Overbeek, R. and Wos, L.: Complexity and related enhancements for automated theorem-proving programs, Comput. Math. Appl.\n                  2 (1976), 1-16.","journal-title":"Comput. Math. Appl."},{"key":"5117750_CR2","series-title":"Technical Report","doi-asserted-by":"crossref","DOI":"10.2172\/10129052","volume-title":"OTTER 3.0 reference manual and guide","author":"W. McCune","year":"1994","unstructured":"McCune, W.: OTTER 3.0 reference manual and guide, Technical Report ANL-94\/6, Argonne National Laboratory, Argonne, Illinois, 1994."},{"key":"5117750_CR3","series-title":"Technical Memorandum","doi-asserted-by":"crossref","DOI":"10.2172\/797949","volume-title":"MACE 2.0 reference manual and guide","author":"W. McCune","year":"2001","unstructured":"McCune, W.: MACE 2.0 reference manual and guide, Technical Memorandum ANL\/MCSTM-249, Argonne National Laboratory, Argonne, Illinois, 2001."},{"issue":"1","key":"5117750_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1020542009983","volume":"29","author":"W. McCune","year":"2002","unstructured":"McCune, W., Veroff, R., Fitelson, B., Harris, K., Feist, A. and Wos, L.: Short single axioms for Boolean algebra, J. Automated Reasoning\n                  29(1) (2002), 1-16.","journal-title":"J. Automated Reasoning"},{"key":"5117750_CR5","unstructured":"McCune, W., Padmanabhan, R. and Veroff, R.: Yet another single law for lattices, Algebra Universalis, to appear."},{"issue":"3","key":"5117750_CR6","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1305\/ndjfl\/1093893713","volume":"10","author":"C. Meredith","year":"1969","unstructured":"Meredith, C.: Equational postulates for the Sheffer stroke, Notre Dame J. Formal Logic\n                  10(3) (1969), 266-270.","journal-title":"Notre Dame J. Formal Logic"},{"issue":"4","key":"5117750_CR7","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/1988701","volume":"14","author":"H. Sheffer","year":"1913","unstructured":"Sheffer, H.: A set of five independent postulates for Boolean algebras, with application to logical constants, Trans. Amer. Math. Soc.\n                  14(4) (1913), 481-488.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"5117750_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1010683508225","volume":"27","author":"D. Ulrich","year":"2001","unstructured":"Ulrich, D.: A legacy recalled and a tradition continued, J. Automated Reasoning\n                  27(2) (2001), 97-122.","journal-title":"J. Automated Reasoning"},{"issue":"3","key":"5117750_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00252178","volume":"16","author":"R. Veroff","year":"1996","unstructured":"Veroff, R.: Using hints to increase the effectiveness of an automated reasoning program: Case studies, J. Automated Reasoning\n                  16(3) (1996), 223-239.","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"5117750_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1010639725972","volume":"27","author":"R. Veroff","year":"2001","unstructured":"Veroff, R.: Solving open questions and other challenge problems using proof sketches, J. Automated Reasoning\n                  27(2) (2001), 157-174.","journal-title":"J. Automated Reasoning"},{"key":"5117750_CR11","unstructured":"Veroff, R.: http:\/\/www.cs.unm.edu\/~veroff\/BA\/candidates.html, 2001."},{"key":"5117750_CR12","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: Correspondence by electronic mail, 2000.","DOI":"10.1016\/S1353-4858(00)07017-3"},{"key":"5117750_CR13","unstructured":"Wolfram, S.: A new kind of science, http:\/\/wolframscience.com, 2000."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1027322305654.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1027322305654\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1027322305654.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:33:43Z","timestamp":1749123223000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1027322305654"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["5117750"],"URL":"https:\/\/doi.org\/10.1023\/a:1027322305654","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}