{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T15:41:18Z","timestamp":1649086878827},"reference-count":9,"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\/bf02011872","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T17:32:17Z","timestamp":1123781537000},"page":"111-114","source":"Crossref","is-referenced-by-count":0,"title":["Bemerkung zu Gurevich's Arbeit \u00fcber das Entscheidungsproblem f\u00fcr Standardklassen"],"prefix":"10.1007","volume":"19","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011872_CR1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF02025119","volume":"16","author":"E. B\u00f6rger","year":"1974","unstructured":"B\u00f6rger, E.: Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Archiv f\u00fcr math. Logik und Grundlagenforschung16, 67\u201384 (1974).","journal-title":"Archiv f\u00fcr math. Logik und Grundlagenforschung"},{"key":"BF02011872_CR2","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1017\/S0022481200051513","volume":"41","author":"Yu. Gurevich","year":"1976","unstructured":"Gurevich, Yu.: The decision problem for standard classes. The Journal of Symbolic Logic41, 460\u2013464 (1976).","journal-title":"The Journal of Symbolic Logic"},{"key":"BF02011872_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02007254","volume":"18","author":"Yu. Gurevich","year":"1976","unstructured":"Gurevich, Yu.: Semi-conservative reduction. Arch. math. Logik18, 23\u201325 (1976a).","journal-title":"Arch. math. Logik"},{"key":"BF02011872_CR4","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/BF00971620","volume":"13","author":"Yu. Gurevich","year":"1972","unstructured":"Gurevich, Yu., Koriakov, J.: Remark on the R. Berger's paper on the domino problem. Siberian Mathematical Journal13, 459\u2013463 (1972).","journal-title":"Siberian Mathematical Journal"},{"key":"BF02011872_CR5","doi-asserted-by":"crossref","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"M.L. Minsky","year":"1961","unstructured":"Minsky, M.L.: Recursive unsolvability of Post's problem of \u201cTag\u201d and other topics in theory of Turing maschines. Annals of Math.74, 437\u2013455 (1961).","journal-title":"Annals of Math."},{"key":"BF02011872_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"J.C. Shepherdson","year":"1963","unstructured":"Shepherdson, J.C., Sturgis, H.E.: Computability of recursive functions. J. Assoc. Comp. Mach.10, 217\u2013255 (1963).","journal-title":"J. Assoc. Comp. Mach."},{"key":"BF02011872_CR7","volume-title":"Mathematical logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield, J. R.: Mathematical logic. Reading (Mass.): Addison-Wesley 1967."},{"key":"BF02011872_CR8","unstructured":"Wang, H.: Dominoes and the AEA case of the decision problem. Proc. Symp. on math. theory of automata (New York), 23\u201355 (1962)."},{"key":"BF02011872_CR9","unstructured":"Wirsing, M.: Das Entscheidungsproblem der Pr\u00e4dikatenlogik 1. Stufe mit Identit\u00e4t und Funktionszeichen in Herbrandformeln. Dissertation, Universit\u00e4t M\u00fcnchen 1976."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011872.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011872\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:24:58Z","timestamp":1557786298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011872"],"URL":"https:\/\/doi.org\/10.1007\/bf02011872","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}