{"entities":{"Q3651508":{"pageid":5681414,"ns":120,"title":"Item:Q3651508","lastrevid":88592468,"modified":"2026-06-04T14:56:01Z","type":"item","id":"Q3651508","labels":{"en":{"language":"en","value":"Towards algebraic separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5645209"}},"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":"Q3651508$C89FE86E-D8E9-4224-B0FA-86E086A14AB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a26e282f9eab3e9af2408f5436b281b906cd9c","datavalue":{"value":{"text":"Towards Algebraic Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3651508$F693264D-14BA-40AF-95E2-4586889E5AE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b17e75f975828fb741cba42cd094a1a9d3807197","datavalue":{"value":"1267.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651508$D75AD767-370D-473B-946C-B45D594FE602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"646cae8a7cc306ad77fcbda6f8515f7416a3d245","datavalue":{"value":"10.1007/978-3-642-04639-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651508$0404461A-C763-4097-ACDF-1464BA044614","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"787149007cde9cab1d2caf2001ab6cf4632dcffa","datavalue":{"value":{"entity-type":"item","numeric-id":406438,"id":"Q406438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651508$52C2048F-9301-4196-ACFE-2DCC387F6048","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":"Q3651508$A4FA163F-CC5C-407D-A0DB-1EDB11BBA051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651508$2FCF2796-EFC8-4841-89DD-C5FFAB96CE34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86465ad6756de6194673fccf041df2527a42bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":3498401,"id":"Q3498401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651508$A6898B38-CB6D-4D15-BE6B-3E0E7FE71635","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60d299e7db113c73bf4e2404b159c8b142acf49f","datavalue":{"value":{"time":"+2009-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3651508$D8F0C275-5279-4611-B5E3-1232C830FEBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69c8ff5a761da3b0e65c027a1aa4af318382f4a0","datavalue":{"value":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-10930","type":"string"},"datatype":"url"},"type":"statement","id":"Q3651508$3408442E-05E1-4160-95C9-7DC9B426DEB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651508$8469E40D-A296-460A-B518-B6C6F72D58F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651508$D36C3CD0-F0CD-4127-98D8-9B806944BF62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"194f821b4960929bf8d9d0f93eb15278d4f225f8","datavalue":{"value":"5645209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651508$F92A714C-7AD2-4806-A11C-27D86376987F","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":"Q3651508$301E9407-A64B-4D54-98CD-E84F5B78D66B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9af0775d1f7f59b064f68379db3a8c3e56eb435","datavalue":{"value":"W1532382251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651508$20E73DA4-3C9A-47BF-BF6A-1020929ADFCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9eb6265b84afbb19a5cb37144d3de84a13ee98a","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530d5fa3ec1e40648728b9ecd58831ff2981c5fb","datavalue":{"value":{"amount":"+0.9221148490905762","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":"Q3651508$A40A5D04-ABF7-4075-8E85-F4416820659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c142c33cc6c23273f5e1e7f49ef9665a895bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1687747,"id":"Q1687747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299d28444dafece40fa5ecd5189acee5ee201c53","datavalue":{"value":{"amount":"+0.9043741226196288","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":"Q3651508$34F0A426-B1FC-456C-B16F-101FF950D2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e58fb03a2423540659ac96248731fcdd04e32","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a0849baba537f75a5416738febe5d60a291b55","datavalue":{"value":{"amount":"+0.8160037398338318","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":"Q3651508$FE48EBCA-5D59-4BBD-A1E0-AE220BB31462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88b8f2a292a45a6cd52bf8a89d4740419218d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2914753,"id":"Q2914753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bd76caa9fc3ed6b41e0ddd059b0d47bb9ea237","datavalue":{"value":{"amount":"+0.7858856320381165","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":"Q3651508$FC84B348-6B74-4EBB-8F6E-656288841640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf357b31c112654ddc48a37a8ac438160c6c8877","datavalue":{"value":{"amount":"+0.7821519374847412","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":"Q3651508$9B582A01-57E7-4F72-9EC3-144A8685E714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards algebraic separation logic","badges":[]}}}}}