{"entities":{"Q4636289":{"pageid":6665870,"ns":120,"title":"Item:Q4636289","lastrevid":97906127,"modified":"2026-06-05T15:46:16Z","type":"item","id":"Q4636289","labels":{"en":{"language":"en","value":"The effects of modalities in separation logics (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863856"}},"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":"Q4636289$E4228336-556E-495B-BFC9-317F052DFB40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbab68cf26aad4265203d95e36997c16007eb622","datavalue":{"value":"1385.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636289$0764A152-01AF-41CC-8027-70FAC79ED2A9","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":"Q4636289$1824D618-A3B8-4724-AE2F-BCA05FE50FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5374aaae6c4fa00723de88e8acb31ca46f3aaf1e","datavalue":{"value":{"entity-type":"item","numeric-id":518401,"id":"Q518401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636289$78824BCB-86E8-44A7-9C55-A8BE7A3682C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636289$5A927F1F-5291-4115-82C4-662D391B4B9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636289$D993735A-E43E-43BC-B0FF-B2E06A6152E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636289$591168C9-EC94-48C3-8E59-7C45D4CF8507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636289$B7DED031-FEB5-4203-AA21-1268AF2535B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11a5dd43bab6bd6ae6e127823f116f9cd5d8d62b","datavalue":{"value":"6863856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636289$0AAB7CFD-7418-43BE-9011-A4B545149B24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$778E69A0-0919-4CA8-81E4-A7DB9C4CCCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$65D10887-F1E3-44B6-883A-5E32EC2443ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$E0624DB0-3E09-4F88-BA2A-06A2D31D4805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$B5174C55-0AB9-4DA2-8BCB-2B08E4D6BAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$3F3F55D6-5262-4559-90D9-074506E8E040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$037875CB-6201-47F0-ABAB-AC860B31ABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$E09A303C-E73A-4C04-A83E-F6DAB62AEBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636289$4D883179-ED80-45A5-8AE9-EF4A88D86804","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":"Q4636289$EDC7415B-2648-47C0-9EDF-0EF95A4F58C1","rank":"normal"}],"P1643":[{"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":"2346c104586d1c0446d959418c5d17bc5d431472","datavalue":{"value":{"amount":"+0.9403926134109496","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":"Q4636289$913DA94A-AA6E-43EF-9674-A49A8CF34653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b2ecbbd42c274e0d4658360be65da8f27ff730","datavalue":{"value":{"entity-type":"item","numeric-id":5079764,"id":"Q5079764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7598acdba19ca9d22549a433b6db58fbdbababc4","datavalue":{"value":{"amount":"+0.8158442378044128","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":"Q4636289$939A43CB-3955-4095-BB8B-4B4802930E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb2d7ccb24430a04eccbf4622e9bffd0376c9ab","datavalue":{"value":{"amount":"+0.8119183778762817","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":"Q4636289$637F7F19-6FDE-49A3-91E2-5281F4FF7A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a90c223ab4c301f2d04ef53ee8575fa60f7ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"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":"Q4636289$E5023BE4-3DE8-48EA-8B1C-4E9CA953E5E0","rank":"normal"},{"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":"83e2839202b51ed29be3894b24a88e857abef5f4","datavalue":{"value":{"amount":"+0.7991494536399841","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":"Q4636289$9748FA11-C216-4529-96E1-E60A96604226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The effects of modalities in separation logics (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_effects_of_modalities_in_separation_logics_(extended_abstract)"}}}}}