{"entities":{"Q6159370":{"pageid":13294203,"ns":120,"title":"Item:Q6159370","lastrevid":58728753,"modified":"2026-04-06T12:11:27Z","type":"item","id":"Q6159370","labels":{"en":{"language":"en","value":"Wetzel: formalisation of an undecidable problem linked to the continuum hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691292"}},"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":"Q6159370$A54F7125-4184-43A2-9430-046E7F3946B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d2a2366548146927a1c8a77b143a80966b674ee","datavalue":{"value":{"text":"Wetzel: formalisation of an undecidable problem linked to the continuum hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159370$7684CD5A-D943-480B-BF1E-8F232E87BA07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6585055f08f9c8cf39bd7bed7a4a91a1ff3433e","datavalue":{"value":"10.1007/978-3-031-16681-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159370$06D679F6-E248-4CB0-B4BB-185BBDFE5BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$92941A4B-4416-41FA-874B-ADA6A6F4108A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$FC2A74A6-DCEC-4041-9DB9-84137A7760BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159370$2085B6DC-9F21-402C-8752-3D468C19B340","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2ecb171b6aa5b5336a9235883176f5427372195","datavalue":{"value":"https://arxiv.org/abs/2205.03159","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159370$D15FBE3F-1B76-4E32-9DF9-FE65AE1A109B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159370$3A5D6BE1-B7E6-4927-95C3-FFB441722D3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5b61be3da58f34736b05de5d27353df3cf2c568","datavalue":{"value":"7691292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159370$2178BEBA-3ABC-44F4-97B7-D9CC7A4573F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159370$DEF8EB64-C500-4878-8E51-A206F7F495A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf53acbd37d4a28880077f3ff32f2436c1da111","datavalue":{"value":"Erd\u0151s","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159370$FD5C5354-171D-4298-83E0-B73D7919EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159370$F45183E7-BBC3-410A-BF95-B86187E9BE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159370$09BB0BCD-50F0-4D60-8467-2F791AFC92C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d9de6499a9187e25e8189dec316bec96b816f","datavalue":{"value":"complex analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159370$106A0BBF-C6CD-4961-8F16-EFDE0A43435A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c180ee2d56162da3a93e683315dfd57d39ecfb","datavalue":{"value":"formalisation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159370$E2308EB1-6003-49AF-881A-994BF3A31EE9","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":"Q6159370$7DC61F7B-5137-4960-B016-5007B3E33797","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389ea39d3a2eecd2dc127a1f644486a07a56a6a0","datavalue":{"value":"W4296118504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159370$DFFB7193-1187-4444-BA67-80C9A1B4A289","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c96bdd589b39d27be304eaaf5715b45fbba9de8","datavalue":{"value":{"entity-type":"item","numeric-id":4571707,"id":"Q4571707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$1AC43B69-0379-44CF-AA65-C87FD69D911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c5f5c617e488fb494238f1e4d7368bf494f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5094473,"id":"Q5094473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$798AE562-D922-42C5-AFD4-DB42481E088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997645e839781061a422f5b4b19845bb7a535eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2626594,"id":"Q2626594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$71A470F2-4C40-44C5-B874-D596DAE6A0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04632d5958d80f81462441db38ef00e84019e13","datavalue":{"value":{"entity-type":"item","numeric-id":5049004,"id":"Q5049004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$51CEAAAE-1539-4FA0-BB1E-0E03BA48EFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$4C0A30F1-96A9-403F-BBB4-C60BC1D77FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$8DBD61E7-19A3-42BF-BE13-DC2ADC269604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$3F141C56-5D29-4A86-8C5C-A1560410E92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$ADCF92A4-F116-41EC-8160-427641F2EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09f99d6db815f76ae0a8a4fcddc01dc77134f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4809073,"id":"Q4809073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$CC3855AB-95BA-4DAE-A30E-01B4D4DF4F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109241a704d91dc3140ac5a94ac34a08698fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$8C841D40-B900-41B9-A5D9-40C4E624DC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df566ef0248fe3e927a10046fdd99e599cbaa541","datavalue":{"value":{"entity-type":"item","numeric-id":5961491,"id":"Q5961491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$2B5AA16F-40EB-47D2-A2E9-4AAE6E9D0124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3e3b72eb3e932bcf8a41d95895654aee6ca025","datavalue":{"value":{"entity-type":"item","numeric-id":5757083,"id":"Q5757083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$58C89405-8A88-47DD-91B9-D11E58936244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159370$A61B531A-835A-476B-8B0B-F534F4CF41B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a6a39618f02d3d28a619324f6c08ad6f63129b","datavalue":{"value":{"entity-type":"item","numeric-id":5094473,"id":"Q5094473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e473d3cdb7b43f6dfddcf4b5357585dec43d0301","datavalue":{"value":{"amount":"+0.7339606881141663","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":"Q6159370$93E1296C-E943-4598-9DC0-66F8D0F18716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5174dcfa550a4cdf29f68698fbaebfd9edb66bc6","datavalue":{"value":{"entity-type":"item","numeric-id":3507465,"id":"Q3507465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0744e928a0bcaf752494dfab666cc8a7085030e","datavalue":{"value":{"amount":"+0.7322410345077515","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":"Q6159370$0275F939-74DF-485F-9BED-32D5DB1D55B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7899846d8813c24bd000bf706e5cb8b0732a469a","datavalue":{"value":{"entity-type":"item","numeric-id":3830995,"id":"Q3830995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9b22b9dbc810a937d9d6d26ca6086824489bbc","datavalue":{"value":{"amount":"+0.7091561555862427","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":"Q6159370$A921A59B-C223-433B-8992-61D99BAA3CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6af8e1f20d2f15d99218c5e456caf23f050fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c61e27dc2ad4063869fd3903abd5e7f295b72e","datavalue":{"value":{"amount":"+0.7078183889389038","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":"Q6159370$1B103F0C-40BE-452E-88DF-EA37DA90B9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9edc61cd0996c49e7a0c25e3c087951a8401c7","datavalue":{"value":{"entity-type":"item","numeric-id":3613311,"id":"Q3613311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ea63f7f7a20cc5104d0f1da0bc62059cf75e7e","datavalue":{"value":{"amount":"+0.703697919845581","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":"Q6159370$C8789624-C177-444B-AED6-A4EE45CF1407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159370"}}}}}