{"entities":{"Q3121529":{"pageid":3132245,"ns":120,"title":"Item:Q3121529","lastrevid":85837934,"modified":"2026-06-03T11:58:23Z","type":"item","id":"Q3121529","labels":{"en":{"language":"en","value":"Stone-type dualities for separation logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7037627"}},"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":"Q3121529$29B1A29A-D93E-4166-B4B3-68AD500AE037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"750a0df0b1305e456335c14946fa0b5426157855","datavalue":{"value":"1432.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$6BB44B96-8065-4108-BF52-D99C6BFEEEAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16db8a833bc92d60ee63ac58039d722a100b64e7","datavalue":{"value":{"entity-type":"item","numeric-id":1653005,"id":"Q1653005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$988BA008-936A-4D1C-B079-B84A0E225C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$3C037A39-EE5A-42DC-ADB8-2B3CE1984983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc5cebdcc6e7f765a3223544a9d2c2b5eef3c81","datavalue":{"value":{"time":"+2019-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3121529$D76283E8-9614-47F2-A232-BF26AC7CA603","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44ac6a9d8478660eecc241d971c87d493ce9d930","datavalue":{"value":"https://arxiv.org/abs/1710.03021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3121529$DA3865F2-FEF1-4D88-835E-833DB19BF9BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$42DCA12D-2F94-4CC8-928E-843A182AA90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$1651E9E4-A14A-4154-B34E-879131C518AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$21950F25-6296-4D12-BAA5-3888D4A7BB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$04A9A6E9-3B53-4186-BC12-95087C95FE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$3B6B75D2-B717-4FAA-B431-B36FC80DA95D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e018f6f6361d8ca6a321fccc2176d58ee130b4db","datavalue":{"value":"7037627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121529$336586EF-1BF1-4D90-AEA1-543086CB2316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$D2140AB2-5ABE-4A8E-B443-16D57E651388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af008ae73cdcf600246ab1a644b6e9544d4737f6","datavalue":{"value":"bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$4D977826-7F35-42DE-8371-A31FA9301093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$580D7BF9-E597-450A-8842-3548D89E0380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$6B74F254-9636-40F7-B046-B3133F6E5421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f0875e71694a3abcfe1a8bbfbc55522ce74bd0","datavalue":{"value":"hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$F6660011-AF9F-483F-92D0-2380858F846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$EE9D12BF-2E25-4B24-AE0E-F756B06BB977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$28D74D0A-58F5-48C7-9E00-EA20D0C79A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aadc8e4e1e6fa52b339bccd19c289ff32398fd6","datavalue":{"value":"non-classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$156734D6-DEA8-419A-A5E8-A4D74E2FB13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$E43F0F3C-F18D-45D9-BC5C-3935C61A3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$17DC23BA-5A80-4E87-8189-DB2D9DFDCE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$13D06B57-81B0-4603-A022-17053E1BEFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c020b3cd035604d3da3c34f3800dc2fcb0e32312","datavalue":{"value":"Stone-type duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$F0DF11C1-6D90-4176-8184-6985D0C3A892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121529$EC941C53-593C-491E-B6E9-A47FDD7C8D34","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":"Q3121529$6BEAF71E-2862-4FB8-BE90-60B882ABEEDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$204F7696-AD94-450B-974B-5B18748366E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399227b81e4f09c5d710b76f45ff4b4e5a864cb","datavalue":{"value":{"entity-type":"item","numeric-id":906271,"id":"Q906271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$793BAD71-53D1-4FBB-9A3D-66FE9B568625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a9b3414862812220af9a8d6168f428ec8b3eef","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$86304EAF-9B4F-4BB4-BDAD-70923F968BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ee6ee01b4b1694eb9e94a00a8a009dce26654e","datavalue":{"value":{"entity-type":"item","numeric-id":5316567,"id":"Q5316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$64ABCD6F-F4B2-49E9-872D-F138A5FD5B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd86bec6d90d0f7880185d67b1aaed2ecdba979","datavalue":{"value":{"entity-type":"item","numeric-id":3599059,"id":"Q3599059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$6CB87628-EB3D-4AA4-AAA4-4679C3670B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$A2095C5A-69F0-4624-BFFB-C888288DD33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d59c7a6b0d459c6f64d5eeec9a357248703243","datavalue":{"value":{"entity-type":"item","numeric-id":1935559,"id":"Q1935559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$414D9402-0CDC-4A98-9550-57B1C97BA837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66738c58246445fad9b7d2b001707a1eb800e26","datavalue":{"value":{"entity-type":"item","numeric-id":3575307,"id":"Q3575307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$9B8F7BD3-68C0-4E58-B0E4-CB839C8C14E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d0cf6f9353507581f003548ffc44ca59b72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$1259E3C1-DE1A-4E9A-BA38-88AEA9EF1F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650918dbf2a759bca6f5027c3110df6c9e857aeb","datavalue":{"value":{"entity-type":"item","numeric-id":5408441,"id":"Q5408441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$F858A373-567E-4C84-AFCF-AA1466077BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634eea8d087f217d6c4bbf765e8ca597b4b84a12","datavalue":{"value":{"entity-type":"item","numeric-id":5351966,"id":"Q5351966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$316AC934-D689-481E-86D2-F3CF3076CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$200AF8AC-46C2-4014-A640-E130286D79BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c013e136cb03e4c5ab8c3a7e8c7df1e0a2f62e41","datavalue":{"value":{"entity-type":"item","numeric-id":3189791,"id":"Q3189791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$0365732F-E875-43D9-8182-05AA695397F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d3fc59324c5e032bbd2eeea2d1effc30804c19","datavalue":{"value":{"entity-type":"item","numeric-id":2937700,"id":"Q2937700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$D27F7B29-E2D7-41C0-BAF7-70697C820C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3428db605cfabf64bd05241c48582bb1e69038b3","datavalue":{"value":{"entity-type":"item","numeric-id":2987042,"id":"Q2987042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$7DA11D0E-2635-4E59-8607-3B1FDDEEB0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33514feb38aec616e587a10c9b74569bbb6bad07","datavalue":{"value":{"entity-type":"item","numeric-id":3643362,"id":"Q3643362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$020D7718-405E-46D5-A93C-5D3309889D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b6f54a2fc461f471bb488863366347f296ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":3545274,"id":"Q3545274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$F5833BAC-37DA-4D75-89D3-4BFE774F8450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7f2f497dc6bc533022e7328a5726863172fc27","datavalue":{"value":{"entity-type":"item","numeric-id":2983399,"id":"Q2983399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$BD2D299B-F934-4669-AB24-012DC3B43C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c93d97190e26096c22db3238c11ecdad8a3ed1","datavalue":{"value":{"entity-type":"item","numeric-id":714727,"id":"Q714727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$5349DDC7-06B6-4237-992B-90D569B51114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f583f3fd345c27b49b204b50e2f3db6a761535","datavalue":{"value":{"entity-type":"item","numeric-id":3455841,"id":"Q3455841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$69913499-03B7-476E-BFCF-9FD9F8072B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6dbb50f144c27af1ab9e1ce0916ccdd827631e","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$3611AE93-C3F8-4780-A448-57A7FB1CF98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892592bae79562edf6ba5886cdde4b11093e5e6e","datavalue":{"value":{"entity-type":"item","numeric-id":290917,"id":"Q290917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$17D46EAA-2266-4ADE-99C6-55582903C9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d1df44bcf86e99b32658826650189a99fee613","datavalue":{"value":{"entity-type":"item","numeric-id":3460620,"id":"Q3460620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$38B42D87-B336-4FE7-A6DE-333BBED5AD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab1e2b1d00559219dbb7e95ff196f5547ed0556","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$54EDF7F7-BE27-4B94-A250-E8AD9292DF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f099bd42e2f8d8cbcadd7758ef3282e3baa5d635","datavalue":{"value":{"entity-type":"item","numeric-id":2817944,"id":"Q2817944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$A6E56680-2175-4528-9955-AF356961ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1918d59166526e8adf673a57182e686896bd9ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4553286,"id":"Q4553286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$10C45BAE-E37A-4FC6-8C51-A163F0E3EDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c4900a803b5b229c70a42be48dbea2f4e13ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1653006,"id":"Q1653006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$91FF3B7B-18AC-4E2F-9AA6-C3E3FB999BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42767904ec698e77bf5ad5a5ca09192ebfa305eb","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$CBBFE9C6-DF63-4880-8A8B-FBD6B3AF87BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7863f2174c0a55f7876d0a9cacbcef92afe17a8","datavalue":{"value":{"entity-type":"item","numeric-id":4287485,"id":"Q4287485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$6B3512EC-7E59-48E5-9B5D-6309F09B40C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$8AF8F565-B9E3-47B0-A13C-5C0EFC2DA893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc2454025503e5cae66c6b14840c90286ee8096","datavalue":{"value":{"entity-type":"item","numeric-id":5385999,"id":"Q5385999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$4E12810C-C73C-4262-97D5-0CCCF6B08B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$8F05C406-8EE1-442B-B715-346B4664BECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$B4A66F6E-33E0-4385-A741-78E4E08C2E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$348C9F0B-E4EF-418B-B3F8-AB8F79508C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae50c0eeab4227600a9ee43395fe61dbdc520fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4635931,"id":"Q4635931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$60E3912E-D503-47FD-A4CC-B8D2324128F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$4153C7D5-0FB7-4DCE-9B6F-5097538CCF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e34163d5f1b6a04f68e439aae1bdd6a4e7e46b","datavalue":{"value":{"entity-type":"item","numeric-id":890377,"id":"Q890377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$049383E6-921F-4052-B275-D5AE0CE30D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$707F365A-DFC4-44D0-8DAB-3BE25DD8F884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$4B1C102A-285A-4DFA-83A9-ABAE218774BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$DB6C4917-F328-4B9D-B27F-55982337AC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$1BDBA6B1-6D43-4EAC-9B07-80898379F855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$59F1508B-7AF6-42B4-BC76-F2EFDC777D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$F99CC2A9-8105-4C09-BB54-00A2EEA6C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075f22b9afe2a58dd22052f5feb3620e09f48e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4940719,"id":"Q4940719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$C46BB7AF-7FD0-4050-A2D4-FD119EDAB9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845dbeb6b13e20a4a0e67132e07ccf7e6aa8d45a","datavalue":{"value":{"entity-type":"item","numeric-id":5739976,"id":"Q5739976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$17C5BC13-4393-4581-9CCB-595CA8A04FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490f90728d0ff6a6822ccaa685c1198270724d59","datavalue":{"value":{"entity-type":"item","numeric-id":3190171,"id":"Q3190171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$6FBB55F2-7099-4053-B32A-3579260D6158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$E72C3071-313C-47B1-A8E3-3F3E49266012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07cb367635fdbde058eedef374e674ea15527148","datavalue":{"value":{"entity-type":"item","numeric-id":2347904,"id":"Q2347904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$EDFFA65F-2EF4-4BAA-A1C3-6EECF592A165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$5B7ADB06-A114-45A8-AD7C-478FA8A02354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$CEFE5175-29D8-4598-BA83-DEFD1BE8F264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$FBAC01D7-CA88-4D6C-83BC-9A4C262F02D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b784833bb0a0f4aa446515fe51086c89b5662671","datavalue":{"value":{"entity-type":"item","numeric-id":4215605,"id":"Q4215605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$9A652D8B-15B9-44E4-8580-E187789218F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$C49C1192-3DCF-48F5-8C64-642B23C070F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0acde52144c4033ae04be7909cf97ad30cdd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$BFA74C86-011A-4A8E-8059-BF3A463F4EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$D6DBF948-70B4-43DC-ACD3-37DE59A41CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121529$6B24B99F-61AE-436B-ADCB-A9DC8E92A7C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eadd43e0d7e7a2f4ef6dd9f72eb3efbb978353f","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa2ee41f3da079831249d8c2a0efb5eb6d2d86e","datavalue":{"value":{"amount":"+0.7625949382781982","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":"Q3121529$F3B90150-6241-4D83-B4E1-24DE6AFB985C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d066fe924884f242586254781a3ed4e8c747a32","datavalue":{"value":{"entity-type":"item","numeric-id":5271035,"id":"Q5271035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d344d8a40ded3a5ba12b6b0bcf8027250ed3d446","datavalue":{"value":{"amount":"+0.7363623976707458","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":"Q3121529$46DCB9D0-CDAF-4ABA-9187-3B478CBEE306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131df07368b76c2c49b1602020230541cf81228b","datavalue":{"value":{"entity-type":"item","numeric-id":3100168,"id":"Q3100168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca136288a28808554807e237218da490079642bc","datavalue":{"value":{"amount":"+0.7362102270126343","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":"Q3121529$999C8C30-47D0-4DC9-85FE-92E8548AC902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc718aa1c80923324709ef97e3bb512e84befcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229c4c8a818fdb5b99253703f015cabc18bf141a","datavalue":{"value":{"amount":"+0.7295997738838196","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":"Q3121529$DCBE4BA8-070B-4C58-B6FD-5C4A0081139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f297c0fc8e3d5ce7b9d2496428fb6115e0705a","datavalue":{"value":{"entity-type":"item","numeric-id":5351966,"id":"Q5351966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0750aa8209ec1fccbfe58aac2c9653c24c07cf","datavalue":{"value":{"amount":"+0.72679603099823","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":"Q3121529$B2E537A7-28EE-48D2-B796-E2EA49AFE61A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stone-type dualities for separation logics","badges":[]}}}}}