{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:30:24Z","timestamp":1648740624908},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1970,3,1]],"date-time":"1970-03-01T00:00:00Z","timestamp":5097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1970,3]]},"DOI":"10.1007\/bf02241743","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T20:40:32Z","timestamp":1132000832000},"page":"173-190","source":"Crossref","is-referenced-by-count":0,"title":["Ein System zum formalen Umformen mathemathischer Ausdr\u00fccke mit Hilfe von Rechenautomaten"],"prefix":"10.1007","volume":"6","author":[{"given":"Eberhard","family":"Vogel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02241743_CR1","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/365758.365762","volume":"9","author":"J. E. Sammet","year":"1966","unstructured":"Sammet, J. E.: Survey of Formula Manipulation. Comm. ACM9, 555\u2013569 (1966).","journal-title":"Comm. ACM"},{"key":"BF02241743_CR2","unstructured":"Tobey, R.,et al. PL\/I-FORMAC Interpreter. Users Reference Manual. IBM Contributed Program Library 360 D 03.3.004. 1967."},{"key":"BF02241743_CR3","volume-title":"Design and Implementation of an Algebraic Processor","author":"M. Engeli","year":"1966","unstructured":"Engeli, M.: Design and Implementation of an Algebraic Processor. Z\u00fcrich: Institut f\u00fcr Angewandte Mathematik der ETH. 1966."},{"key":"BF02241743_CR4","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1145\/365758.365787","volume":"9","author":"A. Guzm\u00e1n","year":"1966","unstructured":"Guzm\u00e1n, A. andV. McIntosh: CONVERT. Comm. ACM9, 604\u2013615 (1966).","journal-title":"Comm. ACM"}],"container-title":["Computing"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02241743.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02241743\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02241743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T23:15:46Z","timestamp":1557875746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02241743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1970,3]]},"references-count":4,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1970,3]]}},"alternative-id":["BF02241743"],"URL":"https:\/\/doi.org\/10.1007\/bf02241743","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1970,3]]}}}