{"entities":{"Q5923682":{"pageid":8057301,"ns":120,"title":"Item:Q5923682","lastrevid":93420350,"modified":"2026-06-05T04:22:13Z","type":"item","id":"Q5923682","labels":{"en":{"language":"en","value":"Extensions of some theorems of G\u00f6del and Church."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528672"}},"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":"Q5923682$386F6CE4-128D-400D-8D95-A01526373AC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1f93e865fb92e83e6cf92500b9727fea2c918a8","datavalue":{"value":{"text":"Extensions of some theorems of G\u00f6del and Church.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5923682$BF5B1F77-D21B-4CCD-87DB-20865F066519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50baf6114e094543501543dcee561a9010c4f47c","datavalue":{"value":"62.1058.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5923682$58EA3E6A-B293-4A3D-B41D-49B8B57B1501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed42d64e3ec336bd0a0af58ecb924c5c7ce3190c","datavalue":{"value":"10.2307/2269028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5923682$37897003-9DF9-4DDA-9D82-EBFC4F607C36","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":"Q5923682$E8BD2918-7B1E-4AE7-BF75-02BEC298E603","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c212aa55480e152e5c0f9ef7d03d1fcffd750039","datavalue":{"value":"\\textit{G\u00f6del} (Mh. Math. Phys. 38 (1931), 173-198; F.~d.~M. 57\\(_{\\text{I}}\\), 54) zeigte, da\u00df \\(\\omega\\)-Widerspruchsfreiheit einer Logik von gen\u00fcgender Anwendungsf\u00e4higkeit die Existenz von formal unentscheidbaren S\u00e4tzen nach sich zieht, \\textit{Church} (Amer. J. Math. 58 (1936), 345-363; F.~d.~M. 62\\(_{\\text{I}}\\), 46), da\u00df die \\(\\omega\\)-Widerspruchsfreiheit das Nichtvorhandensein eines allgemeinen Entscheidungsverfahrens zur Folge hat. Verf. gelingt es, die beiden Resultate auch auf einfache Widerspruchsfreiheit auszudehnen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5923682$BA4B7531-A2EA-4610-A101-4F148E583002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"614c59c9479ddb48815d0f91b4195d3dac9e8c7e","datavalue":{"value":"2528672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5923682$B1722EFD-1E34-4DEB-A0A7-F8A998D6EE6B","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":"Q5923682$0460CA7A-8E85-4E0A-BD36-898D99B93571","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e58b4199c69ab8db60144af4e42bf3cfc321c42d","datavalue":{"value":"https://doi.org/10.2307/2269028","type":"string"},"datatype":"url"},"type":"statement","id":"Q5923682$BADCA6CF-AB9A-44F2-BE59-34BF7C62ADC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3622f153fb7fb8dfa43667f6df92b68a029606a1","datavalue":{"value":"W4382891196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5923682$62500F1A-F069-4EDE-BA96-47166C7C9BDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162c81dfce6d5c874397fb086535d85063c7254c","datavalue":{"value":{"entity-type":"item","numeric-id":6480755,"id":"Q6480755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5923682$0A026C34-EE3B-4239-A62F-877591124226","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":"Q5923682$31449C42-4B83-4D45-95E2-EDA49DFB5C8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions of some theorems of G\u00f6del and Church.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensions_of_some_theorems_of_G%C3%B6del_and_Church."}}}}}