{"entities":{"Q1023054":{"pageid":1024902,"ns":120,"title":"Item:Q1023054","lastrevid":66639729,"modified":"2026-04-12T11:28:45Z","type":"item","id":"Q1023054","labels":{"en":{"language":"en","value":"Modal languages for topology: expressivity and definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5563897"}},"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":"Q1023054$EFB48191-65A8-4AC1-9C85-618D7915BBF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"221bf1be5a1db40242f3275b6513d14c26e89426","datavalue":{"value":{"text":"Modal languages for topology: expressivity and definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1023054$4B8F92E7-5E93-4242-B483-1591DF5143B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea151745d8e65ccceeb77704e14abe5a40cb5a7a","datavalue":{"value":"1172.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$1AE0C96A-6962-496C-BBA3-455D607399E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$E0925F82-6A88-46A5-AE56-4BE0C396D991","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":"Q1023054$380D8D62-49C6-49E6-907C-5ABC1923D1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f9242d494eadd42e3f7c308d85ad93a78e084b","datavalue":{"value":{"entity-type":"item","numeric-id":683510,"id":"Q683510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$80C367AF-6CBC-4982-A24D-03416957F033","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$77F3165B-84B2-42E9-8D02-101C3C83C70A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"787079cd334b8c7e529712503a5fe043609e5231","datavalue":{"value":{"time":"+2009-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1023054$5A28F21A-8993-4A50-821D-14EDBDEC2131","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe2b21118f0f3e898665de17fce71a83d376229c","datavalue":{"value":"https://arxiv.org/abs/math/0610357","type":"string"},"datatype":"url"},"type":"statement","id":"Q1023054$5728DD94-669E-4A32-9144-F8AD6A7581AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"260ef54fcbee381bcc23f019136e595611cea9a5","datavalue":{"value":"The topological language \\(\\mathcal{L}_t\\) [\\textit{J. Flum} and \\textit{M. Ziegler}, Topological model theory. Lecture Notes in Mathematics. 769. Berlin-Heidelberg-New York: Springer-Verlag (1980; Zbl 0421.03024)] has variables \\(x,y,\\ldots\\) for points and \\(U,V,\\dots\\) for open sets of a topological space. Predicate symbols \\(P_p\\) correspond to propositional variables \\(p\\). Quantifiers for sets are allowed only in combinations \\(\\forall U(x\\in U\\rightarrow\\alpha)\\) when \\(\\alpha\\) is positive in \\(U\\). The authors prove two characterization theorems.  Theorem. A formula \\(\\phi(x)\\) of \\({\\mathcal L}_t\\) is equivalent to a standard translation of a propositional formula iff it is invariant under topo-bisimulations.  Theorem. A class \\(K\\) of topological spaces definable in \\({\\mathcal L}_t\\) is definable in the basic modal language iff \\(K\\) is closed under topological sums, open subspaces and images of interior maps, while the complement of \\(K\\) is closed under Alexandroff extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023054$1227D37F-2CE7-4AB8-BFF7-E7264B34E91F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$A0E57571-982D-47BC-9373-B90D7139402E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$63BC5062-4E8E-45A8-8800-964DEFDE6C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$628D7F4B-FFA6-4ADA-B588-D40BC64830E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a17d386c46c3d7ec81ddd008ae52747e3f7d4389","datavalue":{"value":"5563897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$1E2F19B3-91FD-485C-B34F-385405389453","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023054$67A9D4D0-1318-4224-933D-CF44C008FE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023054$F7BEB55A-98AE-4EC7-8598-1664EB36F18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023054$B11AB03B-FE07-454E-88FF-F92577174665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023054$F2804D5C-ED97-4E1F-8D71-646C0F138C2F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$482727B8-71B6-4828-88C7-DFCFDB6879BC","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":"Q1023054$4F718D4B-E6B3-4CC9-B73A-FBC21581F9D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62984f010e1d28f989d9a834384e0aa80571d6af","datavalue":{"value":"W2076805456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$292CE3C2-4BCB-4F90-AD22-12824717789A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ff6be0ee851ae6469e96174d91ec8bba468fac","datavalue":{"value":{"entity-type":"item","numeric-id":3367295,"id":"Q3367295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$42F86106-D4E9-4AE2-ACB3-93980C89CDA7","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":"Q1023054$C2D15C69-1669-4EB7-80E2-6F4BB31BEF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$316D3363-3871-438F-AEE2-36B7A54AE961","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":"Q1023054$DBC4B167-D777-454D-B0AF-BAFEDFA2F4F9","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":"Q1023054$21C0DE2B-4744-490B-9F01-8F36A0E4E407","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":"Q1023054$57F01E4E-403C-468B-956C-974326331BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$630AE3E9-0486-4FEB-BBEF-96E2E4E838D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$01C6BA93-23F7-44DF-B73D-02330E83CECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cede8b576c6ebef9b1c6c2219157b590c73b22f","datavalue":{"value":{"entity-type":"item","numeric-id":4939435,"id":"Q4939435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$DC6E9CED-11C1-4272-86F1-6478105DA7E8","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":"Q1023054$0CD38E21-A633-4E5C-A9B5-51D2296C1239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1000cf029f82bc984c4768ccd9eb8333402b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4196424,"id":"Q4196424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$BD233DBF-E1D3-4B03-AA33-D305DB546BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$F031B04C-4FEF-452E-AC82-3A902C47A7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$C8C91B3D-640D-4D88-A3BF-63FDCC93B896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89b483200a7d036cee9a4183206659625b1cbda","datavalue":{"value":{"entity-type":"item","numeric-id":4068700,"id":"Q4068700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$BC1EB229-3839-4F66-94E5-C4EB7E71EE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0240225c775c7a89fa970a541c0d113186b88","datavalue":{"value":{"entity-type":"item","numeric-id":3612496,"id":"Q3612496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$D06A281D-163F-49B2-8F46-D6CDDA770E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ff905de4b45d5bef1d855c1b9b65a081c21a46","datavalue":{"value":{"entity-type":"item","numeric-id":865049,"id":"Q865049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$5400349B-D9DC-4F19-92BF-4B0DE864F490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fc6879d97362bc501bd0093452c438fa3f4c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1381441,"id":"Q1381441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$6DCFB329-C265-4025-A047-3558A130ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$5DAE391B-F436-4FE9-94C4-918C31F84591","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":"Q1023054$E21D08E2-4754-4058-818E-758BBEB64DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faf6abb197a0facad98daf3e7c2ce18de194677","datavalue":{"value":{"entity-type":"item","numeric-id":3612499,"id":"Q3612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$F5E58BEE-7520-4C57-A02F-0BC2D51E5F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa44453732a9881f322b159e956ac7929d02738e","datavalue":{"value":{"entity-type":"item","numeric-id":3509061,"id":"Q3509061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$E319310D-E42F-4CA7-965B-CE60EEB03257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0d3df418eb4842513029fd179967e4fd2bf69c","datavalue":{"value":{"entity-type":"item","numeric-id":3926559,"id":"Q3926559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$277C8062-3185-451D-8A80-22CE6AEA970C","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":"Q1023054$FDB72C5A-AD93-400C-9C8B-1AC87956E62F","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":"Q1023054$A34A7245-5A64-486D-9947-11980C7E9C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$67A822B9-F224-41A7-86AD-EBE85D24A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8282b794d8f25c451bfddcd50d70d57ff37104c2","datavalue":{"value":{"entity-type":"item","numeric-id":2867949,"id":"Q2867949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$79E51555-6015-4734-A0DE-B8157A30A3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a438a093913b7a2dee05f63f488071036fcb163","datavalue":{"value":{"entity-type":"item","numeric-id":4103508,"id":"Q4103508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$52CE9F65-DDF2-483C-BB22-659C9184B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8cea4691b9b954da7029114b5d6db19326280","datavalue":{"value":{"entity-type":"item","numeric-id":861569,"id":"Q861569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$5B83C107-4C34-4A1A-B23F-D4D2E77BA933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563c1bcd9cd871e1ff3936bb7f833d272b143436","datavalue":{"value":{"entity-type":"item","numeric-id":3367284,"id":"Q3367284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023054$4AA9FB49-5149-4661-AA48-8B2D61E37482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5957e43c3a81a1e7b1e0a9af70c7f6c0a028ebf6","datavalue":{"value":"10.1016/J.APAL.2008.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023054$1AB253D9-11E6-4827-97B7-1D04C70B8521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecccfabd2a5ae0030dfe5de6346e8cb2381d49f","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0bc0cfe821d533a3e29a70ad72e290da88f84ee","datavalue":{"value":{"amount":"+0.8097497224807739","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":"Q1023054$32CA8FCA-C04B-4E78-8C29-E7CDB8934C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604b859dccc9a23c532169a0e791d32d8c22c17b","datavalue":{"value":{"entity-type":"item","numeric-id":3496325,"id":"Q3496325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e6113291ab1d416db8700ee0f0a539cfc77f46","datavalue":{"value":{"amount":"+0.7845081686973572","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":"Q1023054$4C7868F7-6C95-429A-B599-99FC348A79F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45e85f4bb74497850ff388d8792f9d0f48d649a","datavalue":{"value":{"entity-type":"item","numeric-id":3097967,"id":"Q3097967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477462daa8484437c87faf591aad6f0eb0c9cc5d","datavalue":{"value":{"amount":"+0.7698968648910522","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":"Q1023054$81057BED-91EB-47ED-B9B9-4B5EE57F6E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a7e863d967f59858deefcaee199d6b040b65e6","datavalue":{"value":{"entity-type":"item","numeric-id":3509060,"id":"Q3509060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb6d22b963445e1408c96aa08a7689020f275d8","datavalue":{"value":{"amount":"+0.7657398581504822","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":"Q1023054$5C9289E4-CCB3-4955-AE6A-1A209A8C5687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b005e914d0a2e0c8ad820d5af12a3b7e4edecb37","datavalue":{"value":{"entity-type":"item","numeric-id":5200467,"id":"Q5200467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6c119af98750dfe6ec48865429d27bb33ef8a9","datavalue":{"value":{"amount":"+0.7632859945297241","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":"Q1023054$DD880E42-AEB9-4F97-995F-7CE177FAB685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal languages for topology: expressivity and definability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_languages_for_topology:_expressivity_and_definability"}}}}}