{"entities":{"Q2631646":{"pageid":2642389,"ns":120,"title":"Item:Q2631646","lastrevid":55375165,"modified":"2026-02-17T14:44:03Z","type":"item","id":"Q2631646","labels":{"en":{"language":"en","value":"Postponement of $\\mathsf {raa}$ and Glivenko's theorem, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055414"}},"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":"Q2631646$BB4F8758-F99E-45CF-BD1E-B3AA1B274A4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d29048b4c7d2581a02316dc8b7ac55edac3e5225","datavalue":{"value":{"text":"Postponement of $\\mathsf {raa}$ and Glivenko's theorem, revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631646$39C13CCE-2D0A-4263-96D2-B09F31C9094B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$A87B0D45-513C-4ADF-BFBF-F252BD3A683F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed963368ddce1f37d4db97cd23b32dbfa80fbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2443326,"id":"Q2443326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$15038DE3-4375-4953-8642-7526D9735E76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$373B9249-8CBA-4AC1-B8F9-1FA597CD3EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631646$5C94593B-1A17-40B1-8713-FABBE7D70E86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631646$C8047420-5784-47B5-B5FB-A38115823E6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a77e592cb1b25eb70524390cf3122561bfd6c64c","datavalue":{"value":"7055414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631646$A5F614DA-54F3-4C1A-AFDA-28D15E28F2D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631646$9C9D3418-AB1E-4413-8629-1A9500841F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631646$E3BB4DEC-D5D9-463C-832F-5139AE471224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7a16970906ea298ae5fc08e919cf7a255a92aa","datavalue":{"value":"negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631646$7C91866B-F4C5-4F14-BCE7-D0470711FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8078a0586c1df10211454739fe328554089afc","datavalue":{"value":"reductio ad absurdum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631646$673E5014-AFBB-46CA-8843-6ED18ECF70D5","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":"Q2631646$7C526E20-3097-4A44-85FD-57DD5899C86F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1285358f1f98d9b0c242e1ac60d1c883857ce1eb","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9781-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631646$17116281-63C4-4DD9-9F9A-31EB502392C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63a0e7ba07ca21cf71cd1f44195f8a192bc83b0d","datavalue":{"value":"W2790591958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631646$A3555C16-411C-4F34-841A-A412E5E1C4E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"107ca8f6f6b5ac0f34854c5c3a7531294eb51737","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$2915EA05-1286-4A77-A6ED-B8DFB0795183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667eb0fe7b21743b5373eaa19dc94ebedef7676f","datavalue":{"value":{"entity-type":"item","numeric-id":2921007,"id":"Q2921007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$E7FE58BD-62E1-491F-8377-40B9B559A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cedace1c0b7592cfde8cac81a831dfadac5b15","datavalue":{"value":{"entity-type":"item","numeric-id":3632251,"id":"Q3632251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$0D7529E6-C08B-4EA7-9C88-A5BC53BF5FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd09c22c4ec1913cfd4e86c419d18d89401b15b4","datavalue":{"value":{"entity-type":"item","numeric-id":377463,"id":"Q377463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$98ABDFEB-9136-47FE-9151-B8613867A3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1902d07b8f8b12b81b264ceef664582c4e6dcda","datavalue":{"value":{"entity-type":"item","numeric-id":1938390,"id":"Q1938390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$305A7FC1-4C9C-4E34-8481-C8351A714648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0ad0ff33b97fe3fcdb65aef119b0afb35bccbf","datavalue":{"value":{"entity-type":"item","numeric-id":4981448,"id":"Q4981448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$0F215379-D15D-497F-9826-586BAC6C590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdcbdd459a37534f48a0a2976d04a84e7022c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$6C94C964-F135-41E7-8E82-E18432C98242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f2db5f0a7536241070dde5ff3a36eeed6c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":2631646,"id":"Q2631646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$9AC6B721-0446-42E7-9851-53273D31D381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$80A4595B-40B5-47DC-B356-3CE8F0244C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$79CCDAE1-88D7-4E5B-8F14-EABAF1892A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40c32adc8b8fac0706db3577f5ecdce240f7bd9","datavalue":{"value":{"entity-type":"item","numeric-id":4399719,"id":"Q4399719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$CA2C46C9-A650-4477-BFEA-88D5B431CCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f080ff978bcea740295f57736488b2dcce4d0fcf","datavalue":{"value":{"entity-type":"item","numeric-id":1035660,"id":"Q1035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$5C3CB00E-A348-4A80-8F24-5DF51BCDC469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b091c67ee24a1319358970e62a91b58aae6debc3","datavalue":{"value":{"entity-type":"item","numeric-id":5213615,"id":"Q5213615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$13E3D42B-1F00-4DA8-B095-715E17604C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf8d33b8b327786a9a2b104ad143919c97e9e62","datavalue":{"value":{"entity-type":"item","numeric-id":5408687,"id":"Q5408687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$01186791-4858-44FF-9FC5-F3A53DFAFBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98495c20f6be115d3d30ca5b7bbc330521eae78","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$57BEFA8A-111D-47B3-801C-C293CEB8AA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$F656B0DF-906B-4773-B570-14DFFC8D0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75072c5bce5a3ad953643dfb9953f029de8fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3781073,"id":"Q3781073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$0790B3D2-0358-4B10-A3E6-49E9F3096922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb3cb718675c3fe3133c1db7ce063709950989","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$B7B93842-FEDE-4031-A488-C366A80CB1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$9FFE9A98-E011-4A27-A4CD-74332120D441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571fe715d825ed1037ae8c639746214697fddca6","datavalue":{"value":{"entity-type":"item","numeric-id":3616347,"id":"Q3616347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631646$A25F18CD-F49E-4E0F-9E4F-513A00267492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7844472317b6f8726f62ff75c45b0b1ffb2b62e","datavalue":{"value":"10.1007/S11225-017-9781-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631646$41173C1D-2403-4E77-91B3-0DA895092125","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8433dcb2f6cb0e0d363a6a1f3867a46064bf0c","datavalue":{"value":{"entity-type":"item","numeric-id":2921007,"id":"Q2921007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f80799a897dc26933a91146d1560e7998de031","datavalue":{"value":{"amount":"+0.7575793862342834","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":"Q2631646$5A71532C-B991-4C6D-A729-2685C9216514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec15d726f2a187a37807e62544116158390c9098","datavalue":{"value":{"entity-type":"item","numeric-id":5067950,"id":"Q5067950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9197ca42a7ba1f7888a13db24b4b0867d802490","datavalue":{"value":{"amount":"+0.7519848346710205","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":"Q2631646$75B36206-6E5F-4EC9-AC66-0765411F9FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29354c5a52be0eba507370836c3290b080fcc429","datavalue":{"value":{"entity-type":"item","numeric-id":708929,"id":"Q708929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938440bb0a6957168addc15c2d7bb150d91a6b22","datavalue":{"value":{"amount":"+0.7518050670623779","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":"Q2631646$AC96B43E-B73D-4F85-90DD-434AD400A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72a90cf0b5a28db7b7809cb54b64f2a96617bb0","datavalue":{"value":{"entity-type":"item","numeric-id":377463,"id":"Q377463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fbf7d00effb23f4c085293ef779c4b35067397","datavalue":{"value":{"amount":"+0.7510905265808105","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":"Q2631646$FA7FB956-BD92-4AC3-98CB-AAA1BDAF6C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085f544a6332525abf44494e49a42d29de60addd","datavalue":{"value":{"entity-type":"item","numeric-id":2804042,"id":"Q2804042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab00e42d040217270bc46e84f28f8b0ad70471d","datavalue":{"value":{"amount":"+0.750751256942749","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":"Q2631646$144E3941-AB7F-4581-9A11-59D81D924CAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631646"}}}}}