{"entities":{"Q5117595":{"pageid":7147169,"ns":120,"title":"Item:Q5117595","lastrevid":58434837,"modified":"2026-04-05T05:14:16Z","type":"item","id":"Q5117595","labels":{"en":{"language":"en","value":"Strong completeness of modal logics over 0-dimensional metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239859"}},"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":"Q5117595$0690760F-7EFB-4EC3-AF42-BC23EF3F708F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05f2bf935a41f878bed580377e77cfe676698423","datavalue":{"value":{"text":"STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5117595$28D01FC9-42E6-4E90-B265-3D5C2AB65924","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bfb04e9f35e3cd1846f2120979a91334a5e7b4d","datavalue":{"value":"1485.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117595$15EEF778-69D8-42B5-906B-76C401E55A53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf5237cc65e5f65915e89d5d911faf2d988357a","datavalue":{"value":"10.1017/S1755020319000534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117595$424B79BD-261E-4887-87AC-B34BA17C06A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$E633B794-4D8D-405D-B6BC-DC6E4FA81255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$364D5603-7948-4BD8-890B-AEB313A153B2","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":"Q5117595$FD922B54-7DB2-48C7-80D5-3C9C235F91A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d4f132e262cfd90bc6820d79fa2935957d2a6e3","datavalue":{"value":{"time":"+2020-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5117595$4C1D5A22-5D51-4D8B-B6CC-FD35900267E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95b86d5e3bcdf2895bee4a8aed30ce6b21469690","datavalue":{"value":"https://arxiv.org/abs/1905.03477","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117595$F343B459-05A7-4111-A7C2-25D4C6A7E598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117595$633997A9-1854-44E3-B133-120635BC3E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117595$A46F5DA4-97A4-44E6-8C71-3274EFEB2185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52721c3c0a41d3e9dcb2f9d5c3b63c9bb50d074e","datavalue":{"value":"7239859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117595$828DF116-9DC6-4B5C-9021-F82CB6D9B94D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7c389ee6c24271a63ad1d81d59b5bb0ccfe7d6","datavalue":{"value":"dense in itself","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117595$A7C117D9-8044-4D07-A4D6-02F2A5BEFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ebd4d9dca7a9f413e3c3c5a1b0bdaaf148941c","datavalue":{"value":"Cantor set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117595$4362A7F7-D298-45F1-AA12-977A69E0D698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49a551679abcacb15d681f935ff4b3fed2a1f15","datavalue":{"value":"coderivative operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117595$0DEE5589-D4B4-4614-845B-C78A942BEE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fba154baa628caab407b010a5472ee9b6d71e5","datavalue":{"value":"universal modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117595$890735A5-E4A1-4FCE-A490-76C7682DA6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0ccf219b9d3559ffe1c612ca2738894146cec3","datavalue":{"value":"difference modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117595$D10267DD-E5B3-4A9E-A501-7E3DB7B535BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45aae95e90632dfcd6ab7e0144d94e4b3ca37bd","datavalue":{"value":"graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117595$6012B427-B4AA-428F-A1C7-65AD176EBB83","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":"Q5117595$9ADB1EE9-EE79-4394-909E-781BAB22EE22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$5DB965FD-4F1E-4AA6-89B1-EFD4070BAF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa5e4e5909cde14b8aa248459b1c6b170060877","datavalue":{"value":{"entity-type":"item","numeric-id":5247348,"id":"Q5247348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$ACC5B657-0C52-4C20-9ECF-1FEAF7B9C9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$0CF57E77-AF23-4C5A-9333-FACEDF1BCEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$8783DC71-9F47-4B3E-859F-2F2B532DE5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$17914199-9613-497C-9B33-B414DAFFD843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9484c719001365661de5d74d75559ad80da2250","datavalue":{"value":{"entity-type":"item","numeric-id":1132868,"id":"Q1132868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$9691DB18-1637-49AE-83CB-367DFF6B819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$1B598E87-00E1-4451-AA88-B7D4501A7893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e7f4e85ae6815ea38febf1a3020233b30ba913","datavalue":{"value":{"entity-type":"item","numeric-id":4636043,"id":"Q4636043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$57107D56-8336-4806-B206-8C01F2A7D4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33f49071215bd1fb16f87f68dd7a73a48caaf0b","datavalue":{"value":{"entity-type":"item","numeric-id":515566,"id":"Q515566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$96F384D9-E07C-43F7-8F68-6462984D0DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fa684e382611f3030f696b2609654171da8a21","datavalue":{"value":{"entity-type":"item","numeric-id":1708103,"id":"Q1708103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$92126FC1-7001-4C7F-97F4-2943B6327B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$8D0F48BC-1BAD-4CB9-ADB6-4D303A3E38AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753056d26ab5c133f0c397bee997f1eecc1da9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$03080E57-3909-4F55-8C4D-1BFEFD47016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e873df5a3522093679d611f2b90aa23c94fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3509060,"id":"Q3509060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$77680613-2B61-44A9-8744-AF9B49BFA459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9004f70faad4e787e437cba376a32dae0e519651","datavalue":{"value":{"entity-type":"item","numeric-id":5255799,"id":"Q5255799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$883EB802-6F83-4670-B267-9E5D370FE05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$708EA270-A36A-4EC5-8F9F-B33F347EA3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$F29D1B39-A3E8-418B-A3B2-EA77265D929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$9F1FEB87-2395-415A-B621-AB001343F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf2c430c97c59ab0854dea8e80d774f06ccf692","datavalue":{"value":{"entity-type":"item","numeric-id":5790389,"id":"Q5790389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$B297E9A8-7B31-4613-B943-1878B3631325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ed79a1854f8e502aa938ab4b1645b02a2e895","datavalue":{"value":{"entity-type":"item","numeric-id":5605131,"id":"Q5605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117595$0982236F-5B41-499D-956D-396D0775C3B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba4460872728eca4573d98975cec007c814d4ec5","datavalue":{"value":"W3105743010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117595$24520E6D-0A68-4DC7-8303-C9C53CBCB61A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca3e7a36a6cf5e5e11224ddfb5691ba4b19e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"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":"Q5117595$0D6D4BBB-21A0-4FD8-9F3F-93C74C7E7DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a368fd1bf49a6d4204e4f72e0ef1356772eef705","datavalue":{"value":{"entity-type":"item","numeric-id":5247348,"id":"Q5247348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0675d374ac7307590a9fd894a99d1886f166805b","datavalue":{"value":{"amount":"+0.7890759706497192","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":"Q5117595$1FC3B958-B8A8-4FBE-8AFB-4FE9F9626C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f2a99c0c31e782707510463f9631a669cab953","datavalue":{"value":{"entity-type":"item","numeric-id":3509066,"id":"Q3509066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b42aac47087e7c1f12c76dbf3e019bcb3c18f5","datavalue":{"value":{"amount":"+0.7679836750030518","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":"Q5117595$A3A5A62D-B0FA-4B3D-A06E-0BD118C4E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc5097501cfca23faa1e2fa442a1db01f57d796","datavalue":{"value":{"entity-type":"item","numeric-id":515566,"id":"Q515566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dea8309cad2e132d421c6af6b57c276d596709","datavalue":{"value":{"amount":"+0.7665883302688599","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":"Q5117595$2B0BF887-EB8F-4DDA-9F70-AE84FE1E5E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8ea170d6f53ada0854d511236ee2511575c797","datavalue":{"value":{"entity-type":"item","numeric-id":4215603,"id":"Q4215603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119de03b852a0448d804283b273e9b18c38612d0","datavalue":{"value":{"amount":"+0.761100709438324","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":"Q5117595$AE6B94D5-9D5C-4D08-BD8E-D184D4191000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5117595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5117595"}}}}}