{"entities":{"Q2695344":{"pageid":2706088,"ns":120,"title":"Item:Q2695344","lastrevid":44638740,"modified":"2025-11-24T14:42:07Z","type":"item","id":"Q2695344","labels":{"en":{"language":"en","value":"Effect algebras, Girard quantales and complementation in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670510"}},"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":"Q2695344$2C9301A1-14FF-4804-8EB1-91C0B1490A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"036719e2a3ff188da1ef9a830bf58a62bf08049d","datavalue":{"value":{"text":"Effect algebras, Girard quantales and complementation in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695344$F779F8EB-D097-4EBB-AF19-138130B75CEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98f9668495b3a3385a552bc5c75a8fa2979f85a9","datavalue":{"value":"10.1007/978-3-030-88701-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695344$3B91F679-3EB6-4F5A-8A3C-A5231F1361E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c30535f1fee17e2c14974be762df20f2e3f8551e","datavalue":{"value":{"entity-type":"item","numeric-id":1617828,"id":"Q1617828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$1FEC833A-A87A-4ACF-A660-30B621423408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$6772C7EF-CC74-4048-B52A-25F80E000725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$6479BA8A-F112-4ADD-888B-13D933C2594D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695344$8090859A-6ADC-4CD7-80F8-3689BB5C4291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695344$A7EE8AE0-8C71-4428-B6CA-BD08208C66C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a71a1eabf7ed6c34f53edd031b9304d5155253a","datavalue":{"value":"7670510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695344$D4F3E007-6EE1-4325-A552-624ED4A94BD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$E400793A-6B49-49AF-AB7C-BEDCB355B8ED","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":"Q2695344$E1EFA8BE-F84A-4DDF-A208-A464DD4B6107","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d923f73f0d49d8f9bd9ba50d0791889a5577288b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88701-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695344$EEF12447-B98C-4207-9B4F-AADEE65E1D95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ae1811589e258d5cb9940c568831381f7b0b727","datavalue":{"value":"W3210862527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695344$1D43DEC1-C191-4893-AE5B-30EFE07A29E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$58E0BB55-3C4D-4DD1-B0DF-D1B4084EE2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab67088e42c7f3c0398fcd33bc3d34a272791aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1791147,"id":"Q1791147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$EA79EFA6-0DDC-44ED-B561-0935378CEBD5","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":"Q2695344$DB878DB8-9DEB-4EE9-AF6A-292D189BC037","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":"Q2695344$63C81678-4E3B-45D1-BCF9-4CE9433D5482","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":"Q2695344$14C10E43-A64C-4524-8EC1-05562721CD17","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":"Q2695344$C1DE0E9A-C5D0-450A-B211-D8D8088A6FCF","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":"Q2695344$5C037A4F-0091-4DFA-B6A5-53AC035B53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd4720f8173080601b83dcbc46e620e42233bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5856417,"id":"Q5856417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$57ABC5BF-5A1A-4E15-ACD9-3C62B3774DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fce3c9101a0f88c55afcff2b84a1aab9586232","datavalue":{"value":{"entity-type":"item","numeric-id":5277916,"id":"Q5277916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$D64CBC2E-922B-4D97-B832-3F97F52FA130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$92839B47-EF9D-4EBC-A101-D75EB5A7E829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232d6e6fdf1adf06f88e10c599f8fc8d6ea45554","datavalue":{"value":{"entity-type":"item","numeric-id":4261768,"id":"Q4261768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$8E4FCF51-076F-4AA0-8BD0-4FB7CA8E2A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8df1752f2fdaffc58abd38ee813b52cc1ff5ac","datavalue":{"value":{"entity-type":"item","numeric-id":1771929,"id":"Q1771929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$6E80594A-0C5C-4FBD-8297-C000C5C2EFA5","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":"Q2695344$748D9D51-1142-43B7-9F0C-BC42603AA65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92d2f8034cd4bcf5494582c6089880940b500e1","datavalue":{"value":{"entity-type":"item","numeric-id":3178265,"id":"Q3178265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$ECD27A64-1E03-452A-836E-B19A91436698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$456D2826-E57D-459A-A4A5-617D61EB140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$1C6F23DF-6FC2-4EAF-99FA-FB90907337C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$B29059C9-2DF3-42BF-8ECE-ACDF480F6010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695344$E8366695-D0D9-48F1-8A46-37933BF8454F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2695344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2695344"}}}}}