{"entities":{"Q5501770":{"pageid":7531330,"ns":120,"title":"Item:Q5501770","lastrevid":58600248,"modified":"2026-04-05T22:55:17Z","type":"item","id":"Q5501770","labels":{"en":{"language":"en","value":"Topological completeness of logics above \\(\\mathbf{S4}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472565"}},"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":"Q5501770$C1B4B8A7-1D50-4432-B516-9D1D0C55AAF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4d27326558f7c2c03b57e02770c9b00687e219a","datavalue":{"value":{"text":"TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501770$1800C16F-9226-48EB-BA32-1849CC675330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2721d172b40801a1235bb0888ef5219da49d0c2f","datavalue":{"value":"1372.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$1B87BCC3-8A6C-445C-B0B7-D0E8F8F7E950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$084517A4-FE39-4DBF-9804-BC6F99329E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$3EDE9118-120E-47BC-B7EF-E22977F52D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212c8fcde94506abe5a2b6ffc7d52a43b36b69ea","datavalue":{"value":{"entity-type":"item","numeric-id":453190,"id":"Q453190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$9E7B62C6-83AF-42F4-B044-D154F045D9E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501770$395DE7DA-A45B-4283-88C7-351DC4D5994E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4420e67ee06e2d998117dc5b68c36d41c5467a48","datavalue":{"value":"https://arxiv.org/abs/1311.2178","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501770$05002C7A-ABF7-4C33-9EEF-82B90FF06224","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$B7688729-E3E3-4721-8CD4-A49BBE744FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$355F0D78-B08B-4C3E-94A1-D017451DE849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$89924087-35CE-4DF3-8A5C-A0315623BD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$19F56F93-D121-4DB4-9533-53D47B76DB8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c5cabe847d748cb5d3bf97eb569f22dcafcea68","datavalue":{"value":"6472565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$782F5A4F-FA9C-4D64-8DB6-CE813A081854","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501770$EDA7F3C6-92CF-47FB-BE2D-203F918E4139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501770$4F067F58-4A10-43FA-8EF0-C822B55E8E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501770$7B8397E7-C417-4814-B4F6-15700BB84D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e8b45131fdeb6f5f355f059833ce926d2f7b17","datavalue":{"value":"countable model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501770$9D090185-8058-4880-BE58-9F0153D42716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe24833831a54a220fee080df51e22e08d1caf1d","datavalue":{"value":"infinite binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501770$98DD1F63-75A7-480B-9B29-1A1C3EBA9D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501770$7E9196B4-69A5-44E4-BE16-7A5904E2057F","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":"Q5501770$918CF5B7-F944-4647-A852-4AF0BB6FE8D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d10d4f7f08f9b02cdad102420193e48bf95933d","datavalue":{"value":"W2963079830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$8FDD99AF-E66E-4665-8F4C-4D6D6168420F","rank":"normal"}],"P223":[{"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":"Q5501770$6B98E490-D759-469A-A7EB-D6737897AA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$7B82D86C-C1CA-4611-9DEC-5B93E372ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$6DD37834-C8F6-4ED6-9C78-58D342EEB2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46832c4ef192b6cfd7c82ebdd623874bbf8bb91","datavalue":{"value":{"entity-type":"item","numeric-id":2476160,"id":"Q2476160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$2142044E-BD3E-47C5-9F46-E7D472ADE9A4","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":"Q5501770$2C506B74-7555-4035-9C5C-B68067669414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abafcec90f7effa61fd74925f1c48c7749cec47","datavalue":{"value":{"entity-type":"item","numeric-id":1762355,"id":"Q1762355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$4DE41180-DAD4-4685-9DB6-CD4FAAABFA54","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":"Q5501770$12471D76-7EE7-40A6-84A7-2615488792C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$323C7DAF-92AA-4C6A-B1D7-58CBBEF5CB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$DFAB7820-8D04-4D47-A56C-6B6C27819E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$14F23717-EAA8-4237-97D0-EAF20321F3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fb247b674517e0817847aba98e7c1152ee3767","datavalue":{"value":{"entity-type":"item","numeric-id":535140,"id":"Q535140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$BE9FF175-0469-4295-B237-C65D68D79480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c248184345a7b6d8799c83722c15a34b7d85b313","datavalue":{"value":{"entity-type":"item","numeric-id":651431,"id":"Q651431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$9604C6E6-E815-4ECA-96F9-C2F2F78467A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$C07384AE-D328-49AD-A1F2-FFC506F7BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe8fbfd8b07cc4614253ef1dbf6c75fef2a5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1419386,"id":"Q1419386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$7FC9D7B3-70C5-4350-A7CC-3B0FE82D1D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$ABF0A6C3-79BB-4576-BE4D-FBAF5F879BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$A8366878-159F-41FE-B3D5-2A1820E36788","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":"Q5501770$A909AE0B-8412-40E5-9CF6-7C00744A1508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d4aff00a493266453eadbca656776a4efd559b","datavalue":{"value":{"entity-type":"item","numeric-id":4914415,"id":"Q4914415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$7B694FD7-DEDC-4636-B521-4A87FB9244DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ee5233d800e10e19c7ea99bc854ceb79aefd5b","datavalue":{"value":{"entity-type":"item","numeric-id":427238,"id":"Q427238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$A12B9771-BD65-4C74-A866-A7133371994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$0F5A8D36-2F0D-499F-9999-A525A8698F1D","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":"Q5501770$73A608D1-7ED8-41F3-B30E-62EB5AE8B53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc82f7ab84df94897466e68ea0e47066c9c6b37a","datavalue":{"value":{"entity-type":"item","numeric-id":1150600,"id":"Q1150600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$D2F66054-BABB-49F6-89DC-499F1B4B82D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d374e5741d3af854e5693214e4ef65ec167cc13","datavalue":{"value":{"entity-type":"item","numeric-id":3257817,"id":"Q3257817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$2C730A85-4CA7-42A1-BC8B-46C1105CCCF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f068aa8218c3351c03d1efd67fd8274378d1c97","datavalue":{"value":"10.1017/JSL.2014.59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501770$4C044DEC-6579-4424-99C6-F3BDC257E676","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501770$9A2258F5-C5D9-4D55-A759-966774F80549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234d988970a835678fccb907da141f729b7917ba","datavalue":{"value":{"entity-type":"item","numeric-id":535140,"id":"Q535140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ddfa580c89c02b917529e4f2dcff2b4beb5d96","datavalue":{"value":{"amount":"+0.8426589369773865","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":"Q5501770$1E15BEA2-7CA8-4144-97E5-1A1D5D725AA6","rank":"normal"},{"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":"b197deb9ba836d7e92ffbe8d0c9916b38c85d530","datavalue":{"value":{"amount":"+0.8213639855384827","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":"Q5501770$8C2F0673-CE10-45A7-9241-1929B93DA458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d527b5a13e0db7aad41f7d03ad8b97643bb123","datavalue":{"value":{"entity-type":"item","numeric-id":5737960,"id":"Q5737960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdab159882a58ab38e573c2fd28ec7e2aa516c9","datavalue":{"value":{"amount":"+0.8183742165565491","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":"Q5501770$46F139E9-84B7-4EB2-8602-E2B9A76E96D8","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":"41bc204c70aa8f2d9ede02c0bc5821f323f9ad46","datavalue":{"value":{"amount":"+0.8150252103805542","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":"Q5501770$D9392628-1AAC-46E0-AC86-400827F351EE","rank":"normal"},{"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":"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":"Q5501770$B4A8CD43-0826-457F-84CC-144CFC18E2C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501770"}}}}}