{"entities":{"Q5216335":{"pageid":7245905,"ns":120,"title":"Item:Q5216335","lastrevid":53665553,"modified":"2026-01-25T12:48:07Z","type":"item","id":"Q5216335","labels":{"en":{"language":"en","value":"The power of modal separation logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168179"}},"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":"Q5216335$BEAF7BC7-C0B4-459D-9EAF-6E00EB2C0655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b41c7a77a9af73a6bbb32a8bf9e4472033d9d0a7","datavalue":{"value":{"text":"The power of modal separation logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216335$B879E437-EFA2-4978-B8FF-C9A22F042CA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2122b61b6598aa861a022d008c9a53a4b92810a1","datavalue":{"value":"1444.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$E96D0F2A-E427-456C-8269-CBB3F2E63109","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216335$217CFEBA-2292-48D2-BCCD-F62475044B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216335$0CDDB3E6-489D-4E4B-A787-99EBE951D908","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216335$B3B60D17-D84C-4EB3-9E71-951D556358BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$21D0A657-EEBA-49D8-AD03-22D166F5710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$D91FB772-573A-4E47-8791-90EEB3126822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$F67A898E-3372-4E01-81D8-6110897D6831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"533d20fdde0a6529974016d1a9ca091117cd5b6f","datavalue":{"value":"7168179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$5B5685F8-4BBD-4384-BE90-81C8D03E93C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ebea0abebf79df4c894ff86295ce8a634e5bad","datavalue":{"value":"separation logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216335$7C6729E1-2DCD-4326-B1C8-8F9208DB81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac204327f5f902852b94ce6174a89823da5ade8","datavalue":{"value":"relation-changing logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216335$15DC9C3D-89CB-433E-9471-0A9F1B6C1810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216335$9724519A-E470-4EAC-BFDF-862B58B1D562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216335$7670412E-1059-4798-9464-BF39D07066F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216335$19967411-78E5-4430-A640-7C085DFBA777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216335$1F22D751-DCFD-4B01-86EB-EA0872D66612","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":"Q5216335$BA5A13CC-DE55-42EC-A1F3-526CAEA11899","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a538b684822ca9e4005b4c45f1816f67a95f83b","datavalue":{"value":"https://doi.org/10.1093/logcom/exz019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216335$ADCCE521-863E-4D2F-8595-C9FD69962159","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc8aedaf9acc4a91c862a20f301ce80f1c2f15d8","datavalue":{"value":"W2996220552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$4E914A29-4A69-473D-BD4B-5F564D843CE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826929a70cf6198a1f580109c0742cbafb5202e0","datavalue":{"value":"10.1093/LOGCOM/EXZ019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216335$5E630AD8-855F-4940-9A6A-B41046047430","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216335$7D1B1A35-DFFB-4C48-845B-FBC393EF61DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11cdc09b05fa6f665eaf452866ea710fc5e87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517c69be6c6b5d4948a867b48b92c54abffe84aa","datavalue":{"value":{"amount":"+0.970304787158966","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":"Q5216335$8E71CEA0-B76D-4123-9440-6F0FDB43EF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab969b19566956f805a7597d42b9abc2936c9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4636289,"id":"Q4636289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa13e63fbc7641add047c76d52dc2414afc57e77","datavalue":{"value":{"amount":"+0.8110761642456055","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":"Q5216335$BCEB5E5E-1296-4C06-9C97-F85D0D439AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28a28358356e931ca995f53b57ba656f58046f","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be34d0cac123485d96b4614b89778e92d1839f24","datavalue":{"value":{"amount":"+0.8015308380126953","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":"Q5216335$AFF2CD4D-D960-4A4D-B0EB-57F8EE048B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e13ca25df2de71a9a71b5f2dda098f088a56ca1","datavalue":{"value":{"entity-type":"item","numeric-id":290917,"id":"Q290917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3df026887759ec159ba6c59b386e05e6f49506","datavalue":{"value":{"amount":"+0.7825915217399597","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":"Q5216335$D43A75D8-41BB-4E96-BDB0-E2B2F2C7AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7a8383d2a68bea8281859b24922936482b9271","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2a2d51cb31588d0bb98172e99c608fab657feb","datavalue":{"value":{"amount":"+0.7805854082107544","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":"Q5216335$BBDBF3D5-AAEA-4C2B-94D8-9065EAF1B267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216335"}}}}}