{"entities":{"Q3382810":{"pageid":3393513,"ns":120,"title":"Item:Q3382810","lastrevid":55388383,"modified":"2026-02-17T15:17:26Z","type":"item","id":"Q3382810","labels":{"en":{"language":"en","value":"Labelled cyclic proofs for separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398776"}},"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":"Q3382810$9C454C2F-38B5-4A00-AEC1-2920B79599E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8976c4f5438353201ed52794555b4a45cafc49c0","datavalue":{"value":{"text":"Labelled cyclic proofs for separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382810$F67B7682-2519-4407-B843-3F4B7919A385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382810$A8DD38BB-2B8A-4B64-9BC3-BF7B6E8FCCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382810$36FE4233-38BF-4C31-8FCE-48B2A77F3C0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"298bf7ba67772e027c232daaf82fff0b94bbeb35","datavalue":{"value":{"time":"+2021-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3382810$4FB3287B-C302-4D02-A483-B2D8DD5D99AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382810$9698DCC4-78D4-4A57-84FD-036E1B9EFB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382810$B2A09A00-ECA0-40CA-BBC9-E1FB21C46816","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e44a7be569143eaccb7c8c7752829a9f6eee1f3d","datavalue":{"value":"7398776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382810$E09A4431-2F9C-40F3-A831-0C018D21D3BF","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":"Q3382810$6006D981-63CE-4DFA-907E-64653A77865A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5cce7239bdef92979620f9ce4fb6d8a9e7801c3","datavalue":{"value":"https://doi.org/10.1093/logcom/exab017","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382810$4DD5CCBE-20C0-4E0B-B456-C6935F68941E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a2731798211fdd8a9b821e8bcec82ae1ea7ebd4","datavalue":{"value":"W3153596946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382810$8320492C-0792-44D2-ADCD-13F0B1F5C7E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7288663fe99887f722b5691664de01b0cb49be64","datavalue":{"value":"Q113818625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382810$143FB15F-C779-4EF2-B5C8-D9BEEA948EE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb748e88e552adf710d852ef9e246122073298f9","datavalue":{"value":"10.1093/LOGCOM/EXAB017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382810$40698212-99C3-44E1-B16D-55155687171C","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":"Q3382810$AD27B4EB-A0A6-4C5B-8B04-4C0926A7D5F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f9403070a5271bdf5109a399c9c58e9c1fce40","datavalue":{"value":{"entity-type":"item","numeric-id":6536318,"id":"Q6536318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc878202ba2dd9025c29ca470f22f2f066d42186","datavalue":{"value":{"amount":"+0.7964879870414734","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":"Q3382810$F6691546-4EB4-4411-807C-288AA36ECBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce9665b91ecb3a2eb7e60be16e012a2320e66e4","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d582099be09b77d7e36a5cd3ffbff6282f624ace","datavalue":{"value":{"amount":"+0.7961947917938232","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":"Q3382810$23B33583-B59D-42AD-9311-B5B1FF9A8D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedf41f4ad814a262dc70d8faa9745816259d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8434f408ffd819ce201c14d0c4f00f9d8d855e","datavalue":{"value":{"amount":"+0.7952812314033508","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":"Q3382810$B6921427-537A-46AA-A343-813FFDAD47BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8785aab0e3c1f4fd35faeabbe37c4b0af6291286","datavalue":{"value":{"entity-type":"item","numeric-id":5408443,"id":"Q5408443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc8c794382bc84a589d3c8c1c3872df5c0669ac","datavalue":{"value":{"amount":"+0.783711850643158","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":"Q3382810$3C692610-5F1D-4C9E-95A9-A45F3E6D6A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0843dede5e394189a0e50b8e45310558643385ca","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780fa18ba9898c3f51114184d7978704ca50c641","datavalue":{"value":{"amount":"+0.7800637483596802","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":"Q3382810$FC4B3F2A-E6AE-42E2-A4F6-5BA1F2EDF7BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3382810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3382810"}}}}}