{"entities":{"Q4600818":{"pageid":6630401,"ns":120,"title":"Item:Q4600818","lastrevid":52995032,"modified":"2026-01-23T23:59:04Z","type":"item","id":"Q4600818","labels":{"en":{"language":"en","value":"Generalizations of G\u00f6del's incompleteness theorems for \\(\\Sigma_n\\)-definable theories of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6826843"}},"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":"Q4600818$9AB18CCC-4A5A-423D-8CA9-2050B941C467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ad36032249b9f805a1dfc731c014ae3c9522a5d","datavalue":{"value":{"text":"GENERALIZATIONS OF G\u00d6DEL\u2019S INCOMPLETENESS THEOREMS FOR \u2211<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4600818$35C8B993-35B7-4959-928F-FD3C5BBD9CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cd6437a8f5cd43fcd7473972783fb3fcd3f34c0","datavalue":{"value":"1426.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600818$8A4B1244-5BC9-4080-82F1-77E18AFA5149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a61544ea96a201bbaa4bd6711952c97e44b917bf","datavalue":{"value":"10.1017/S1755020317000235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600818$D5CBE961-C939-491A-9C7A-4D9A70779F3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28373dd70f177f8ebae250ded5af561ec2e0846","datavalue":{"value":{"entity-type":"item","numeric-id":312494,"id":"Q312494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$202010A7-1064-4A07-BBCB-B0C64A03FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$DA86278F-7210-4C00-BCD3-F1D9B2E58148","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$F28CA72D-09B4-4318-93B2-8B20DD9CA10C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbb07437eb9aefda4cafb7f0f71b164b900249e4","datavalue":{"value":{"time":"+2018-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4600818$2B85C187-0A3E-4BDD-8BD0-9D8ED6E563AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600818$93DF8948-CBE3-44E2-86AD-A7B4FE1F6D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600818$4E092137-A318-4341-B19E-47A8188AC0A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aba43df359c305e4ec1b95f16ad5f603e77f68a","datavalue":{"value":"6826843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600818$A38992AB-4DE0-4DAB-9470-DFB6B344AA18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600818$CD25E975-8C44-4570-AAF6-682EBEFA00A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"848fe07365cdd8a435126dd3ff69f663037bc996","datavalue":{"value":"\\(\\Sigma_n\\)-definable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600818$438D8993-9313-4841-83E6-631593C19208","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":"Q4600818$169A835D-E0A6-4DAD-8158-C1DF082913C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$F2CA5001-534F-4B6C-BCA1-50815698CC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$7127EB07-BD1F-4660-83A1-6B53F007271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d67b6a890a5650336a67663daecd3ea3e574c8","datavalue":{"value":{"entity-type":"item","numeric-id":3252699,"id":"Q3252699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$33416394-FC13-4970-BAFA-08EA6EBA2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a122452ca789e26322f500022360f4f8440fe97b","datavalue":{"value":{"entity-type":"item","numeric-id":3864508,"id":"Q3864508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$649154E8-1A5C-4BA6-9E03-30E144530E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8242be0393aabdfbd870955dc6de1d3828d32","datavalue":{"value":{"entity-type":"item","numeric-id":2909753,"id":"Q2909753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$91C839EB-4E77-401B-95AC-19B7AC93885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de1ef1b33ef9f01782b10786f39c5d29c529033","datavalue":{"value":{"entity-type":"item","numeric-id":1222647,"id":"Q1222647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$101202C0-855B-4748-A98E-40565D70893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$73E22944-2B9E-4595-B289-352B0701C36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$1072401A-DF22-4F87-A2C9-AF2B77FA9B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$75071360-31AC-4641-95B9-6312D1D6A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a2d87da3370fa31078505aec633c2823335abf","datavalue":{"value":{"entity-type":"item","numeric-id":5822066,"id":"Q5822066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$F5C2CA89-98D2-4732-93FB-034F35B9B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292e4f97fe782d92d2445520a83a064e48f6e51c","datavalue":{"value":{"entity-type":"item","numeric-id":5700817,"id":"Q5700817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$DB3CAFBB-FC51-4818-82E3-F9A50EEE8883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c3fd79d1fcedb38e21508d952845e3a4eca0c","datavalue":{"value":{"entity-type":"item","numeric-id":5764758,"id":"Q5764758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$ECDB8DD8-4693-425D-BFCA-AE567B6A3B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0440261b734ebd0a3ecf3c79405eb3ef39f78a52","datavalue":{"value":{"entity-type":"item","numeric-id":3875926,"id":"Q3875926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$80608DED-CAA7-49EC-BC63-B66C5220951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600818$8FA46278-611F-4BBF-91E7-DA9C4C52C37B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5829132c0918383f3f29fddf5bf3596bb06da374","datavalue":{"value":"https://doi.org/10.1017/s1755020317000235","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600818$15D0C78C-76BA-4830-9FBC-C5981F85FDD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2705eb6ee64d9e0590363a99e42130637158a07b","datavalue":{"value":"W2767358137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600818$6AA76E61-F4C9-44F3-B603-138A5F66B8DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331fbd408e234e181b9cf0adbbd5b51dab3b9d85","datavalue":{"value":{"amount":"+0.8583787679672241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600818$07EB9EB9-0524-40FF-824F-104AC6F15822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03c9f5f2e3d3b09a62150532cccf0e99ab6bbee","datavalue":{"value":{"entity-type":"item","numeric-id":3133168,"id":"Q3133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393e6a8cb51938be206f962cc30bdff7c37117e7","datavalue":{"value":{"amount":"+0.8229747414588928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600818$C1F512EC-929D-4E18-AB19-324DF7FADB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202db2a45918ded980d7bdc4969e582cd1b8ffe0","datavalue":{"value":{"entity-type":"item","numeric-id":4959663,"id":"Q4959663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff186d8316d7c0e7a51c089df0db330b9e1fb901","datavalue":{"value":{"amount":"+0.7543587684631348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600818$2FEFC3DA-F5A1-4172-8B9C-9339BED754F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959a5ee366a5c17f6f5105d47b0cb7b5942f4720","datavalue":{"value":{"entity-type":"item","numeric-id":5024504,"id":"Q5024504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f498d8b8a6476e9ffa06f95cfba080df587699","datavalue":{"value":{"amount":"+0.7521895170211792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600818$E966F855-C5CC-49AC-8A8B-86A3B0F15E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c2cd3c1b8e139dfc93eec385d5da18d8f2a996","datavalue":{"value":{"entity-type":"item","numeric-id":1756504,"id":"Q1756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4baee208ed1d0a49a3b89bcfa18f433224054d","datavalue":{"value":{"amount":"+0.7457456588745117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600818$B15E452E-D848-49E2-8980-AE9D3F04E822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4600818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4600818"}}}}}