{"entities":{"Q5402239":{"pageid":7431813,"ns":120,"title":"Item:Q5402239","lastrevid":74439846,"modified":"2026-04-14T22:24:58Z","type":"item","id":"Q5402239","labels":{"en":{"language":"en","value":"Strong completeness of S4 for any dense-in-itself metric space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6265968"}},"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":"Q5402239$74EEA8B8-8739-4D3D-8AAC-1F33A4F1EF22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15334b65d79b0b25f4851acbf53269e504f0ca3c","datavalue":{"value":{"text":"STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5402239$12B2B85E-A8F0-408A-8BA9-77A98271FC94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17f8d06711d519fbbd528069f21d130226e61ab8","datavalue":{"value":"1326.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402239$0A2AB974-5646-47A2-AFC7-CC423EAA1ED9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c342d163cce953d000dfe7ce066d34161a222b","datavalue":{"value":"10.1017/S1755020313000087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402239$B2F8D4C1-3EF2-474A-93BC-EE164260EFD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5edd1deb266eec07d4ef7aa54b2db704a7084647","datavalue":{"value":{"entity-type":"item","numeric-id":211182,"id":"Q211182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402239$4F413A01-BC4B-4F5C-8A43-F07180AA7F7B","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":"Q5402239$9430FC7A-2284-475D-8FAE-8893016D90D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81cf4b66389c43ff2e057d97425c3fce6d98e1d1","datavalue":{"value":{"time":"+2014-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5402239$422CA979-F359-48DE-A518-E19FF2E283FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402239$EBBD9079-48B0-4D75-8FD5-72E222559E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402239$FA198A05-DC40-4E62-A895-905ED1C7AEA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a230fa9b81240318a8f5552c832efb57c48b872e","datavalue":{"value":"6265968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402239$115B6187-8A77-45A7-A5D4-FA1FC0AE6AD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402239$3F67E62A-E710-4FA4-98C5-6E1E8897E4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402239$C1B60607-B0B4-417E-A260-30D786F25FC4","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":"Q5402239$7498051C-1167-406B-B48B-84526E9D4419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d03f094456460bc6fac87421499f54c9b26cf7","datavalue":{"value":{"amount":"+0.8495553731918335","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":"Q5402239$4C67A555-9D4F-4DAB-9D4D-BEA41570366D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc4c2b14f81fc5f6d7a8116c75f220c9c847671","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2735ea7303fc83e200db3895fad259217c90e28e","datavalue":{"value":{"amount":"+0.8437888026237488","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":"Q5402239$AA2FB8D4-1EAC-4FF3-8241-EB15898E2818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee3a494332ed63baedcb82bb6f8b1924d2c23d","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cf95461cd8e6d38d5b4abbabcd0409e62b262b","datavalue":{"value":{"amount":"+0.8420992493629456","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":"Q5402239$4477246D-2E79-4A56-82E6-50D034D9A78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c3a578716125d19f5cf96372178d583b050dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5117595,"id":"Q5117595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0e5af36e396f14a4bce82c20f63d98a19022e4","datavalue":{"value":{"amount":"+0.8390642404556274","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":"Q5402239$27163E8A-9E6B-4021-AE54-A19BF2F76D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50babb0e2c678dc2ee872f9a639e7cd0efee7b21","datavalue":{"value":{"entity-type":"item","numeric-id":5501770,"id":"Q5501770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5a6484d853329d4ecf252e5ed65f133154dc35","datavalue":{"value":{"amount":"+0.80774986743927","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":"Q5402239$51582090-DA9B-45CF-A105-5982E3AC482F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong completeness of S4 for any dense-in-itself metric space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_completeness_of_S4_for_any_dense-in-itself_metric_space"}}}}}