{"entities":{"Q4401433":{"pageid":6431032,"ns":120,"title":"Item:Q4401433","lastrevid":97094219,"modified":"2026-06-05T13:17:47Z","type":"item","id":"Q4401433","labels":{"en":{"language":"en","value":"Redundancies in the Hilbert-Bernays derivability conditions for G\u00f6del's second incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3433859"}},"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":"Q4401433$BDCD87F8-4B24-49F8-A182-E3B85D0209DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f2d2b4e3eca796355fd0b30e954e282efdd5854","datavalue":{"value":{"text":"Redundancies in the Hilbert-Bernays derivability conditions for G\u00f6del's second incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4401433$43AA61BF-BB4C-4BB4-BC55-344C363E46E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc285fa0a09d96aed05a66ce56265a086769654d","datavalue":{"value":"0276.02031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401433$535115A3-C73B-4A15-A098-F61D9250E120","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6dc749ba4580be1a2aa5c3846184e0c435a0ae0","datavalue":{"value":"10.2307/2273028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401433$AF69DE48-7E97-4A3F-AC7A-9EB30D16CE5B","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":"Q4401433$FCCE8DBC-55EC-49FD-9861-1711B619BDE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q4401433$5F2DC7B3-7A87-4477-83F8-A7288750420F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401433$590C61F7-DA53-430E-B963-A986FFAD7037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3d7417cdd25d605ecdf4756e4ec631c6e150dd6","datavalue":{"value":"3433859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401433$5C3D5675-08D5-41A7-BE82-331C67E7B547","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37320c1971fbdaeeb1e4a598506c907f0c931ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1104855,"id":"Q1104855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401433$22D4DAC8-E8C7-488F-9C69-A4901ACFB5E7","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":"Q4401433$11E5C44A-26CE-4E5B-9D13-7AADDB6A5348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f2654aca07435daad3672dcd7fbb6259babe1cd","datavalue":{"value":"https://doi.org/10.2307/2273028","type":"string"},"datatype":"url"},"type":"statement","id":"Q4401433$E06BF3C3-2A4B-493D-A76C-632B7330B94A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c704b2f05784468c1b621e773233722a4457bcac","datavalue":{"value":"W2018618761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401433$62E8B647-E526-4BC7-B5B1-CA239BB82F1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"299991a102f6783196755626a4003bec5f36b43a","datavalue":{"value":{"entity-type":"item","numeric-id":5328115,"id":"Q5328115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401433$91A1A9F0-07F4-4E12-9F7C-C11C6375A5E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Redundancies in the Hilbert-Bernays derivability conditions for G\u00f6del's second incompleteness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Redundancies_in_the_Hilbert-Bernays_derivability_conditions_for_G%C3%B6del%27s_second_incompleteness_theorem"}}}}}