{"entities":{"Q2595477":{"pageid":2606220,"ns":120,"title":"Item:Q2595477","lastrevid":44433801,"modified":"2025-11-22T21:53:45Z","type":"item","id":"Q2595477","labels":{"en":{"language":"en","value":"Untersuchungen \u00fcber das Entscheidungsproblem der mathematischen Logik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514653"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595477$95BB2E10-95D6-4776-AB77-CCD14E4D1CF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"131ac721b6a9c6d12ae57274422b2874201fd03a","datavalue":{"value":{"text":"Untersuchungen \u00fcber das Entscheidungsproblem der mathematischen Logik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595477$8490E7D1-61B4-4A9F-9140-2F3E02BD9B22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5648a694a7b39aa66d0011d12c969baa2eb3495d","datavalue":{"value":"64.0029.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595477$EE72FE9C-6FEE-4960-B29C-DE9315CCDDE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fae073057ba6c72115e2d43f125d1a3708017db","datavalue":{"value":{"entity-type":"item","numeric-id":2595476,"id":"Q2595476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595477$F32A7C3A-4709-4EC2-9730-AF5E9FF6F36F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595477$20172220-07FD-4C69-9A09-55632DA6BF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2595477$457AFE58-3270-49B4-94FC-BC2A6C680A35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c207c85443b54c5ce7891d1bc52864257e30a177","datavalue":{"value":"https://eudml.org/doc/213010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2595477$A0A20F92-5FB8-4AA7-B1C7-B8BB39294785","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ca7de591776a2ffcbf0015b54da6ccf4ee55c82","datavalue":{"value":"Die vorliegende Arbeit, eine Fortsetzung der fr\u00fcheren Abhandlung des Verf. ``Beitr\u00e4ge zur Reduktionstheorie des logischen Entscheidungsproblems'' (Acta Litt. Sci. Univ. Szeged, Sect. Sci. math. 8 (1936), 7-41; F. d. M. 62\\(_{\\text{II}}\\)), bringt eine Reihe von neuen wichtigen Reduktionss\u00e4tzen zum Entscheidungsproblem. Von den zahlreichen Ergebnissen erw\u00e4hnen wir nur folgendes:  1) Bei der vom Ref. (Math. Ann. 112 (1936), 419-432; F. d. M. 62\\(_{\\text{I}}\\), 41) f\u00fcr das Erf\u00fcllbarkeitsproblem aufgestellten Normalform mit einem Pr\u00e4fix  \\[  (Ex)\\; (y)\\; (Ez) (u_1)\\dots (u_n)  \\]  braucht man nur eine einstellige und drei zweistellige Pr\u00e4dikatvariable in Betracht zu ziehen.  2) Es wird eine neue Normalform mit einem Pr\u00e4fix  \\[ (x)\\;(y)\\;(Ez)\\;(u_1)\\dots (u_n) \\]  aufgestellt, bei der der ganze Ausdruck nur zwei zweistellige und eine einstellige Pr\u00e4dikatvariable enth\u00e4lt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595477$6EDD1356-44BA-4B3D-87D2-7E38CA5CD220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4432678703d9f6c0993aae73dcc405f8d9bc5206","datavalue":{"value":"2514653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595477$2838FBB7-2E8A-44D9-A3DD-BFEF7539D734","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595477$EBF6AF69-B1AD-417F-9A63-998E14736A41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b8b5f87000082e1b73c68d8a5a9fd0a384652de","datavalue":{"value":"W996809567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595477$C01ED3DA-3610-4B73-AF4C-E2EF61FB95F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbc06807200b14539f60ef40bf56fda679e7e012","datavalue":{"value":"10.4064/FM-30-1-257-348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595477$B05ABD19-F2A7-4288-ADCA-019AE03E7C49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595477"}}}}}