{"entities":{"Q2449857":{"pageid":2460600,"ns":120,"title":"Item:Q2449857","lastrevid":57934362,"modified":"2026-04-03T03:47:47Z","type":"item","id":"Q2449857","labels":{"en":{"language":"en","value":"The polytopologies of transfinite provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294145"}},"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":"Q2449857$2F437EA7-C0DF-472B-BF38-8BC9C9ED9D69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a73e51de3f4901ae123701f04aaecead72122493","datavalue":{"value":{"text":"The polytopologies of transfinite provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2449857$1A71B61E-8D17-4AF7-99FC-86A92DF3706B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33ba6e5b50f9f3c2750dcfb1a05bc226d1715b13","datavalue":{"value":"1352.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$96D24DA7-612E-4525-855C-03CAF0B77B88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$F0E18F6C-EA89-49CD-9A79-8CEE25431EE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$F02FB547-D67B-49CC-AB7A-C0A635D7ACAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b98a65e001f93197037bf094eccba452bf828a3f","datavalue":{"value":{"time":"+2014-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2449857$BEF165E6-99D6-4401-9615-C2411B2FB4F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e3a5da96daa62325a10250af3adcc1ae9d0c1e","datavalue":{"value":"https://arxiv.org/abs/1207.6595","type":"string"},"datatype":"url"},"type":"statement","id":"Q2449857$8D361467-F4B0-403B-8F3E-41536736BB99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$80A6A4F3-6E7A-4C75-ABAE-46B5E862EAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"601e38db0975d749e2be6dfce744b0f7179ec96e","datavalue":{"value":"54G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$0C1E8903-C355-4A53-BCED-3D9C000B9F10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb019a57c25a2de921e2ed9184db8fac9fd29f8d","datavalue":{"value":"6294145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$3EC3C0B1-B2A8-4C4B-ACD0-F26FC1E2AC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449857$2DC5A08A-8346-4AAA-B69E-9BB2A957915F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449857$ADFEE6A0-6D8A-4080-9D75-082BA228BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fb412ab3b5e67d554c37b48230359c8b6d555e","datavalue":{"value":"scattered spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449857$D0310A00-4A63-4557-AB48-8C5DB9AA1F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb2bfeca99b6be2a05e1ebe1bfecc4e3c0bd3950","datavalue":{"value":"ordinal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449857$7BC01521-C600-436F-84A5-DF3266C8246C","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":"Q2449857$D50A109F-0810-4C81-9FAF-E99CCAE765F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccadd692e247738ba125a04d6968cc5f42ea816c","datavalue":{"value":"W2008207340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$591A3021-DF70-453C-B47E-3D94FB8CAFE8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eae61a28921396581add42058f0870463cc6351b","datavalue":{"value":"Q58883286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$DC41BA86-B936-4F83-98A0-EB414C47BC44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4a0c8823f7d6ec76a532a908490c9a130b3b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3973061,"id":"Q3973061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$9F10E150-3B00-4323-89CC-D01E23520E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdea85ffbcafa2f9eaca3731420aea605d03d512","datavalue":{"value":{"entity-type":"item","numeric-id":891070,"id":"Q891070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$1112CAA6-CF32-4C92-9998-01C80D08624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$2D1434F3-E870-4478-85EA-10C5B92DEDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$B6C91245-9C6E-4220-9C3A-418DF6B3833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f08935329d0a9562cd21089e3f5ed02cfdda55","datavalue":{"value":{"entity-type":"item","numeric-id":3019966,"id":"Q3019966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$BA59DB41-8546-442C-A067-0C4C231019B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8277b02586b00a25cfffeef5ee1e24351b06b2da","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$B83914F8-19CB-45DD-AB01-354F9BE661A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83f198c5c7178639e27c9a7003d0d2773d2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$F68CC003-0973-4D72-99CE-0DFBF4B2D752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d1deb3adb7ab094e5000ba17db35a5ecbc0f53","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$98D986D8-353A-43BC-A98B-AE82CE74DA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d25d21135b8b2822c873d87c7973c99b3a1051","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$4BEC08E8-E799-4D01-B824-09C9D8149E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edacbe019f846afd505c23a3ffef4e7c73c08c4d","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$1E23B5CF-A32B-467A-A931-BF6A167C531D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb890e625812a5954505af171f3eca4b6822ac2","datavalue":{"value":{"entity-type":"item","numeric-id":964455,"id":"Q964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$77A0B352-5AE9-4BCE-8848-FE2AB23E11CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e104690be231038fe69bb6c40f47ba736b4f0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$CBB2833F-CD3E-4913-8E2F-BEF969937930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8417887f2a76ba50f6f7c5f56c86d3e9fee6319","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$7025A99D-658D-43C8-81B1-5A24118A18B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed5d4dc6a27184f9b503206e637b294a24667c","datavalue":{"value":{"entity-type":"item","numeric-id":4644499,"id":"Q4644499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$3E7D27DF-0DEA-42CE-83B6-100B64D42163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1864c7cd8d0a5fcf8acbce38de8dea37ec03416c","datavalue":{"value":{"entity-type":"item","numeric-id":385073,"id":"Q385073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$73B840F2-E26E-4357-AE3C-4E456F3A9679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548c19a8d51e89141447b12675f2874b1f915ec","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$111BA190-9F62-4B23-B013-54254EFCFB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550318f5b4a919f6baa7fe38f3778c24b92d34e2","datavalue":{"value":{"entity-type":"item","numeric-id":435232,"id":"Q435232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$6ECFEDB2-A134-4878-B2B1-B0EFFC0BBEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$D997C216-F19A-429C-98D2-E3B08A99C4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7021b8f12a8870837b2ed06bf45c0e1a122b683","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$2126DA17-CF40-4A48-92A2-0316AA8ABE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$4E3DEEC4-E89B-4574-8FAD-EDFDAE6CC189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$76BBAB3B-0A5F-4AED-BE8F-4FD56C067747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449857$226E6EEC-7F6D-4492-AEE4-4E63A4D8846F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24a4db074a1629c8cc78ab76492bcc544c1fffab","datavalue":{"value":"10.1007/S00153-014-0371-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449857$6204851D-D723-4378-800B-46CD75FB1B39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaf2aa6dfbd45412019c03011961f4a9ad602b0","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be80ac27da024349b28c3506bcc6342c64f20faf","datavalue":{"value":{"amount":"+0.8933529853820801","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":"Q2449857$D5904A98-7BEB-45C7-870D-56EC7690652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73a8ad5518038c4c4baeda1ff406e3344cde989","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272188b42f1e7399e271b31e04cfd2c7ba2791fa","datavalue":{"value":{"amount":"+0.8645623326301575","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":"Q2449857$1DDF1A19-585E-431F-9148-60F03382D1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0784d4805b6b5be01a6814c83adb0c6329c30ba6","datavalue":{"value":{"amount":"+0.8641164898872375","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":"Q2449857$DBCA9A92-B225-44D8-A97A-519AF1C1C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be76f39f0d64b173c300d63bc10c9d55498fe93","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec4ca02595a2b64decc20376bd5365db1111578","datavalue":{"value":{"amount":"+0.854804515838623","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":"Q2449857$5E7BC163-CA5B-44A2-A707-452CF95EC221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af77166cdb316f83bcabb7546498a609f7bc2e19","datavalue":{"value":{"amount":"+0.84824138879776","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":"Q2449857$41729A05-0206-473F-9FBC-FD12733E2EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2449857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2449857"}}}}}