{"entities":{"Q4863246":{"pageid":6892826,"ns":120,"title":"Item:Q4863246","lastrevid":47390167,"modified":"2026-01-01T14:48:15Z","type":"item","id":"Q4863246","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 841090"}},"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":"Q4863246$E6D42181-396E-4AFC-B87C-457D4C11BED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e411dc366fc6ebe089625dffee21a961cbf0f9da","datavalue":{"value":"0835.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863246$C29919ED-2D2E-4347-A050-DDE001FAF6DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"782971a377b40d4e18aed52ae4c10cd984433bf3","datavalue":{"value":{"entity-type":"item","numeric-id":558724,"id":"Q558724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4863246$9128F428-1A38-4528-A62C-B0B3BCC9A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4863246$F48A3A55-F67B-4603-B14B-D20230E27407","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23538f1860075d0767b907c88ed715c00085d18b","datavalue":{"value":{"time":"+1996-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4863246$A859FB3A-CD0C-4072-893C-1ABABDDF8759","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863246$4CB69C35-AB09-4438-B4C9-247C206A113F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6b473018618aa561f2d825dfb9683464979c084","datavalue":{"value":"841090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863246$65D90D80-A568-4E76-90E9-A41AF50DC954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1d3d679cdfe3cab0a89ac2b900862df84c2761","datavalue":{"value":"Baire Category Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$8C783FFD-8B43-4E12-BE88-02591524F410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5cb2d47d6e0ee25d22b2568b57e8c727744602b","datavalue":{"value":"RCA\\(_ 0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$4BF1F5EF-4D82-42B4-B8B7-E1B7316CD0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aacdf68dc6c024c917ceba88b5d1883af9f945d","datavalue":{"value":"Ramsey's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$F0EB6FF5-F0DB-45FF-9269-268F7B052A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603e79ad2c42b30bbaf76d860ada56a6828882bc","datavalue":{"value":"Open Mapping Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$6897F7C7-7873-49DF-B5E0-9A055A6433E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b88836b32241782e50f206a03f4919416e6612d","datavalue":{"value":"subsystem of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$E95FBD4C-3693-453E-86A9-C40B6EBC04FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0fbb809ca5f1fca12b5fb3be6ef158358d521f9","datavalue":{"value":"recursive comprehension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$AAE580F6-3776-4CEF-B4D5-4A0940B6E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863246$9CE17BCC-7173-4830-88D9-5AE41EC8BA56","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":"Q4863246$06C6579C-7CC7-4F60-A070-43CEFF97C92F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a8a7b3a81348e7f9788dfd70810e22fc114249","datavalue":{"value":{"entity-type":"item","numeric-id":3138013,"id":"Q3138013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c28fab4feba51530e9ba35f524f92649d74ce2","datavalue":{"value":{"amount":"+0.8807584047317505","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":"Q4863246$D17FCC63-429E-42B7-B97E-416B91423528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7035f97ab62cf8cf5f5ade8266265c49e7b6dd9","datavalue":{"value":{"entity-type":"item","numeric-id":5711882,"id":"Q5711882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7a7ac70880db65cbb1bcaccf7977074758c529","datavalue":{"value":{"amount":"+0.8733084797859192","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":"Q4863246$D8E3EAC7-CFAC-4B27-92AE-C4C099C59C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1aef512f66dac142e29685ed6fadc4aeee67aa","datavalue":{"value":{"entity-type":"item","numeric-id":2443120,"id":"Q2443120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688d6dc9f32910d19a0b3ccd25265e352d6f2349","datavalue":{"value":{"amount":"+0.8566766381263733","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":"Q4863246$332E0249-8978-4ECE-9C39-37D09692F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bfd7a83eb2e92735ba1107ef80904306db1d239","datavalue":{"value":{"amount":"+0.8442779183387756","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":"Q4863246$424D2E31-AB6F-4575-AA44-586B4B3F9B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d314b3dafef13ab367df085f63bfb8ae5e4bfafe","datavalue":{"value":{"entity-type":"item","numeric-id":4939405,"id":"Q4939405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf27fe7c55945e65ae84c94a4137ed5574c941e","datavalue":{"value":{"amount":"+0.8064936995506287","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":"Q4863246$D03AA09D-40EE-41A0-995D-2672AC70685D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4863246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4863246"}}}}}