{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T20:41:04Z","timestamp":1648845664945},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1978,12]]},"DOI":"10.1007\/bf02011871","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T13:32:17Z","timestamp":1123767137000},"page":"97-109","source":"Crossref","is-referenced-by-count":2,"title":["Kleine unentscheidbare Klassen der Pr\u00e4dikatenlogik mit Identit\u00e4t und Funktionszeichen"],"prefix":"10.1007","volume":"19","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011871_CR1","volume-title":"Reduktionstypen in Krom- und Hornformeln","author":"E. B\u00f6rger","year":"1971","unstructured":"B\u00f6rger, E.: Reduktionstypen in Krom- und Hornformeln. Dissertation, M\u00fcnster 1971."},{"key":"BF02011871_CR2","volume-title":"Eine einfache Methode zur Bestimmung der Unl\u00f6sbarkeitsgrade von Entscheidungsproblemen kombinatorischer Systeme","author":"E. B\u00f6rger","year":"1975","unstructured":"B\u00f6rger, E.: Eine einfache Methode zur Bestimmung der Unl\u00f6sbarkeitsgrade von Entscheidungsproblemen kombinatorischer Systeme. Habilitationsschrift, M\u00fcnster 1975."},{"key":"BF02011871_CR3","doi-asserted-by":"crossref","first-page":"581","DOI":"10.2307\/2269694","volume":"31","author":"M. D. Gladstone","year":"1966","unstructured":"Gladstone, M. D.: Finite models for inequations. JSL31, 581\u2013592 (1966).","journal-title":"JSL"},{"key":"BF02011871_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02007254","volume":"18","author":"J.S. Gurevic","year":"1976","unstructured":"Gurevic, J.S.: Semi-conservative reduction. Arch. math. Logik18, 23\u201325 (1976).","journal-title":"Arch. math. Logik"},{"key":"BF02011871_CR5","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2272244","volume":"41","author":"J.S. Gurevic","year":"1976","unstructured":"Gurevic, J.S.: The decision problem for standard classes. JSL41, 460\u2013464 (1976).","journal-title":"JSL"},{"key":"BF02011871_CR6","unstructured":"Herbrand, J.: Recherches sur la th\u00e9orie de la d\u00e9monstration. Travaux de la Soc. des Sciences et des Lettres de Varsovie, Warschau 1930."},{"key":"BF02011871_CR7","unstructured":"Herbrand, J.: Sur le probl\u00e8me fondamental de la logique math\u00e9matique. Comptes Rendues des s\u00e9ances de la Soc. des Sciences et des Lettres de Varsovie, Warschau, 1\u201345 (1931)"},{"key":"BF02011871_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96070-3","volume-title":"Aufz\u00e4hlbarkeit, Berechenbarkeit, Entscheidbarkeit","author":"H. Hermes","year":"1971","unstructured":"Hermes, H.: Aufz\u00e4hlbarkeit, Berechenbarkeit, Entscheidbarkeit. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02011871_CR9","unstructured":"Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall 1967."},{"key":"BF02011871_CR10","doi-asserted-by":"crossref","first-page":"589","DOI":"10.2307\/2272037","volume":"41","author":"G.F. McNulty","year":"1976","unstructured":"McNulty, G.F.: Undecidable properties of finite sets of equations. JSL41, 589\u2013604 (1976).","journal-title":"JSL"},{"key":"BF02011871_CR11","first-page":"275","volume-title":"Contributions to mathematical logic","author":"A. Tarski","year":"1968","unstructured":"Tarski, A.: Equational logic. Contributions to mathematical logic, pp. 275\u2013288 (ed. by K. Sch\u00fctte). Amsterdam: North-Holland 1968."},{"key":"BF02011871_CR12","unstructured":"Wirsing, M.: Das Entscheidungsproblem der Pr\u00e4dikatenlogik 1. Stufe mit Identit\u00e4t und Funktionszeichen in Herbrandformeln. Dissertation, Universit\u00e4t M\u00fcnchen 1976."},{"key":"BF02011871_CR13","unstructured":"Wirsing, M.: Das Entscheidungsproblem der Klasse von Formeln, die h\u00f6chstens zwei Primformeln enthalten. Manuscripta mathematica (im Druck)"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011871.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011871\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:24:58Z","timestamp":1557771898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011871"],"URL":"https:\/\/doi.org\/10.1007\/bf02011871","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}