{"entities":{"Q2610757":{"pageid":2621500,"ns":120,"title":"Item:Q2610757","lastrevid":44476950,"modified":"2025-11-23T05:43:23Z","type":"item","id":"Q2610757","labels":{"en":{"language":"en","value":"A note on the Entscheidungsproblem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528673"}},"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":"Q2610757$A9A1D70F-B8F7-4373-A25C-3F97D38D6C28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14dc78bceecc71979e6e0459b1f18b10ae92820b","datavalue":{"value":{"text":"A note on the Entscheidungsproblem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2610757$2CC6FA8A-2380-4738-B006-A75BD5C454E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce8f5c105fa78e2259af95e6757f70e3693f043","datavalue":{"value":"62.1058.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610757$2D636829-30F5-41E9-8F83-829917E9E178","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7693bf8b951c8e416a9e54fd085b65c0c037d3e4","datavalue":{"value":"10.2307/2269326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610757$2FF057F7-1507-4193-984B-163D8FFB6A26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-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":"Q2610757$A1DE71EF-F29A-484A-BB17-10771050408B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79b9ece8d5f50b38bc4831ce65f00a6f88448804","datavalue":{"value":"In einer fr\u00fcheren Ver\u00f6ffentlichung (Amer. J. Math. 58 (1936), 345-363; F.~d.~M. 62\\(_{\\text{I}}\\), 46) hatte Verf. eine gewisse Pr\u00e4zisierung des Begriffes ``rekursive Funktion'' gegeben und auf Grund dieser Definition gezeigt, da\u00df das Entscheidungsproblem als Ganzes in einem System der symbolischen Logik unl\u00f6sbar ist, das einen gewissen Teil der elementaren Arithmetik zu entwickeln gestattet und au\u00dferdem \\(\\omega\\)-widerspruchsfrei ist. In der vorliegenden Note wird dieses Ergebnis bez\u00fcglich des Entscheidungsproblems auf den ``engeren Funktionenkalk\u00fcl'' (nach der Bezeichnung von \\textit{Hilbert-Ackermann}, Grundz\u00fcge der theoretischen Logik, 1. Aufl. 1928; F.~d.~M. 54, 55) \u00fcbertragen. Vgl. auch die nachstehend erw\u00e4hnte Berichtigung.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2610757$C075D9AD-B2B5-4C2C-9120-9D46A8214070","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e10cc36b79e1221a0b93465d1e36ed612d400a59","datavalue":{"value":"2528673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610757$05987BD5-1146-412D-9F61-519696692100","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f227f5529239bde1a406aca392ed42a4cf30239","datavalue":{"value":"Q55886413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610757$4449531D-1FFB-433F-8522-9942DC995353","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":"Q2610757$18B8D767-F0D5-462D-B3F7-0E441048E5D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f3f8a6cb31bc118aeff88c092aafb02fefe4969","datavalue":{"value":"https://doi.org/10.2307/2269326","type":"string"},"datatype":"url"},"type":"statement","id":"Q2610757$8DBEFFB6-6B79-4B94-A5DA-4304E6315240","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec7ec389e1715a920ec7b886ae2a8974390caed4","datavalue":{"value":"W2064811181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610757$510F1376-4757-41BB-8FD4-3AAC8C2A702D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a542fc4bb188d61d47e008267b4067a52a2819a","datavalue":{"value":{"entity-type":"item","numeric-id":6480754,"id":"Q6480754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610757$11873CE7-B9AE-4572-B14F-BD04356B41B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610757$9FA3DDD0-24A4-4463-8A84-95EB88ABE8E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2610757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2610757"}}}}}