{"entities":{"Q2409626":{"pageid":2420369,"ns":120,"title":"Item:Q2409626","lastrevid":74051328,"modified":"2026-04-14T18:11:31Z","type":"item","id":"Q2409626","labels":{"en":{"language":"en","value":"Coalgebraic completeness-via-canonicity for distributive substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791142"}},"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":"Q2409626$92A7945C-33F6-4435-A7DA-0B58E9DA463A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07e158edf1df7bffd5fa4be7d2e090a7b3821abb","datavalue":{"value":{"text":"Coalgebraic completeness-via-canonicity for distributive substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409626$FCE960D1-7D4C-4577-82E8-CCEC889C0104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12351bd88ba150df92995f3459d03c9db5713880","datavalue":{"value":"1453.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409626$A1600C1D-84E9-4063-B040-A93B44AC3EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$5CF3A4FA-69CD-4CDA-8310-16AE239D4DE9","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":"Q2409626$D0042B4C-A261-4D47-B216-101B45602947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$ABE324CC-7C23-4658-A04B-FF566CA044BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409626$3A405C8E-DAC4-4168-9609-7570853EF7D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1671b71d83135e4788ac7092145e0680f09a59b0","datavalue":{"value":"https://arxiv.org/abs/1508.04940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409626$F1357538-090F-4FE7-8DCA-804FC3699290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409626$209F8920-894C-4D4D-ABE4-6D30B104022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409626$703C87B3-9B71-4D6B-BC6D-4BDF2CEB37B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90f6ce48b32251f4a98bfbdd8c38ac44b83cbded","datavalue":{"value":"6791142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409626$8D183DC7-A427-4848-B986-E271420BDAAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409626$A1E58590-8BA4-421A-824B-BBE95CB0855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409626$A35AAB02-89E2-46C9-83E0-1CB7408AC187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409626$E5D6DC54-B0E8-4FC7-84C5-0E1B4882E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409626$F4504289-835A-4C36-9BEC-02E4109048BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8a1c9be5424056f81c706851740839515b1eb4","datavalue":{"value":"resource modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409626$10703D57-EFC0-4EF9-AB6D-EF2797896FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409626$F9D51C50-408A-4E51-AE86-B8FE316CEFA8","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":"Q2409626$480B38E4-1B7D-4EB4-A0EC-1471BA45A640","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"103eec48c227e55b2becae6ef289c65fe9e6c399","datavalue":{"value":"W2963648697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409626$B48F0212-6352-435B-9E08-61F7F231CFB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4c8fbd6fb38bb8ed4d9018b2d47e906aad68c1","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$FFA9CC9A-FB00-4061-B691-6B2A7E7DE321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9c0e29421d6669655f0af85221fca04b96cbb6","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$C1D8A332-E52A-4FF8-98C9-56249178ED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3253c93fd6c370dc3f0ae26fad167e483e829a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3090865,"id":"Q3090865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$AF02620B-23B0-4337-9AD9-2D9140666C32","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":"Q2409626$5698E03E-D1FC-45FD-AA7D-49FBEDA8EE02","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":"Q2409626$8AEF88F5-0542-4AB1-B384-81DA2A7CFA3C","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":"Q2409626$43D0C079-9DA1-4B10-B556-900E1756C0FD","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":"Q2409626$A716ADC0-B5DD-4137-BDDA-3B0E9155B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$F4252560-322F-49A5-BD4D-1A4F051D60FE","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":"Q2409626$C01A12E0-FF06-46B9-A12A-54810BBA7AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0209362c09ae37e9a4d97a387b30848ab665cee9","datavalue":{"value":{"entity-type":"item","numeric-id":2855318,"id":"Q2855318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$B99BCCA8-537C-4E34-9761-6A4D70C838E0","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":"Q2409626$7C503BB2-3908-40E4-A261-861553024030","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":"Q2409626$4D00F395-8184-4B1B-BECA-1180FD7E4EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509aa27f5ae325daa6c687f6bb13f2faece2e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3090868,"id":"Q3090868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$B552A19A-D57A-42E1-8B08-91D279BB509F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f5b7d0d06802708316e436575883ff214c3ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4910420,"id":"Q4910420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$96F238C7-B931-4351-B215-73BFEF175BCA","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":"Q2409626$631A7662-DAF0-462A-89F6-DC3C6EFBA516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$4C231BEE-D2DB-4D56-8187-595B6F79AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$05212E0A-6AC3-4DA7-902A-334CCC6B2D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$6248E3EB-7920-41A4-AF9C-5A0969B4B2B5","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":"Q2409626$AC6937E8-69BB-4B06-BD1F-371DB1952B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$933D65D6-8A68-489E-8045-62D2998E1FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$B3412321-C2B5-486E-A32B-1C15F6ED5D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$29C805B4-B6D3-4BEC-B666-4A827AB9BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$B29A5CD8-404E-4064-9D26-20520161D584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$6083361B-7C1D-449A-AE65-5DE6B4B8350E","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":"Q2409626$76501ABB-B86F-4A29-8213-EDB80F7A0805","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":"Q2409626$B39BF837-61F9-4B7D-922A-2C8F517AA101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$1F4E22E2-D64B-4ADA-BC85-BB16821E667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$F37E617C-25E9-4E52-A1B1-C1EE9743A9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d11bf71149c25701e7a355c8b76fb05e682683","datavalue":{"value":{"entity-type":"item","numeric-id":5492826,"id":"Q5492826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$4F41B246-31FD-4D0A-95D8-B2ACB10049B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe4ee223309ec89d11fc76cda54308f2a411e79","datavalue":{"value":{"entity-type":"item","numeric-id":4273432,"id":"Q4273432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$58835C3A-6C36-4107-802C-AA37229ED2F9","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":"Q2409626$F8DBA9E7-3007-456E-BFD4-05241A451EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0effd301bc9740561be89cd2f0dd6430b0df3860","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$13187DED-93E4-4A3D-B479-3FB9FD883079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$BDD6D0DB-A169-4015-8D26-D08A246DF77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$AE43DC9C-2D35-41C3-A01D-C50A66117491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b180a8e8531cfbfff84c09c9661e83fc404d4","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409626$B9F454F3-9B1D-40C9-808B-3D0BBD45961A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7a3bdc6fb7378388a995163917c299250430518","datavalue":{"value":"10.1016/J.JLAMP.2017.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409626$F139C3DD-3551-421C-972A-42E121B9A837","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff234e36379196d2b7dd4b540dee6ffedbf8c390","datavalue":{"value":{"entity-type":"item","numeric-id":3460620,"id":"Q3460620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fbcde74a636f683a5ceeec4d27d252bb36e3ef","datavalue":{"value":{"amount":"+0.9465389251708984","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":"Q2409626$B7DF1D69-4227-4F0F-830D-B17A17E69EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83dc7bbbca454f2d51a4e7d437b2ad4d30e54ba","datavalue":{"value":{"entity-type":"item","numeric-id":5419875,"id":"Q5419875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6a29dc2d6fbcf6d6c778e6f5a346fe7b6ad066","datavalue":{"value":{"amount":"+0.8302090764045715","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":"Q2409626$2CB564C6-5816-4B2B-B5EB-D6F257430123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333e45889f26d48033776ec7d10fcf25ef3f2a7e","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55e7a8192d1205543a3f08b2b95eff062326966","datavalue":{"value":{"amount":"+0.8130193948745728","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":"Q2409626$0456495D-ECF8-4C0E-8BBF-CF79913AE68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceec0d2118eb9401450fdcd74bbcf9e66a1449a9","datavalue":{"value":{"entity-type":"item","numeric-id":5390017,"id":"Q5390017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a67fd70b9bf8e68e20f9eebfcc6eb09b6fafc1b","datavalue":{"value":{"amount":"+0.7867856025695801","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":"Q2409626$40CE691C-8BFB-4BF1-83FD-DFDD3A9B4449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d38e307d238e633b284b221dc894aa0dc23649","datavalue":{"value":{"entity-type":"item","numeric-id":4910420,"id":"Q4910420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca1cc6880f9fede2031777c41caa9c69abf793e","datavalue":{"value":{"amount":"+0.77327960729599","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":"Q2409626$6039605F-5F72-49F5-B41B-E5CB4BF5E4BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic completeness-via-canonicity for distributive substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_completeness-via-canonicity_for_distributive_substructural_logics"}}}}}