{"entities":{"Q6166154":{"pageid":13301036,"ns":120,"title":"Item:Q6166154","lastrevid":94156745,"modified":"2026-06-05T06:01:31Z","type":"item","id":"Q6166154","labels":{"en":{"language":"en","value":"On the complexity of pointer arithmetic in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721440"}},"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":"Q6166154$E2E5DF5D-9C1D-49F6-9B78-A47015748384","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a67625bea2bc428c17590cd0c85726161e3f1a05","datavalue":{"value":{"text":"On the complexity of pointer arithmetic in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166154$221C644E-5962-4415-BDB6-5E2D2213A22F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c71bbc5ed9a45e4bc6ee4ff4b48ea30b837b19","datavalue":{"value":"1519.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$5F800FDD-AEBC-4394-924B-DB27D089A103","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c0a0573782b2c53ec2b73973649d863a6b8eead","datavalue":{"value":"10.1007/978-3-030-02768-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$6E6360AA-90AB-4209-9A9B-B26034C10466","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166154$2C154CFA-6205-4DA8-8182-FFEE4CCB9642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166154$AA36C281-6982-4912-9324-2F6E71FD03A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166154$76DCE472-FF1C-4B90-9289-D9771566A9F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166154$9783347C-A7D8-4DC1-967E-3F6FCC4F10E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fa2e7607cf74ce6f35f8f851771f52758d7a3b3","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/10074307/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166154$C7596E3B-5A52-4B02-B5FF-BAC98CF1BDCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$C299EC3F-32EC-4A5B-9C8F-A3A9B58EC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$A41450B9-0AA4-4CC5-A62C-C983A8C95371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$D349189A-37D7-473A-A37B-221E866183CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$037893EB-8DB1-4E31-93A7-2E35EE59DE28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"397d3f187a0cf8e691a4e5caaf9f2c412537b9f0","datavalue":{"value":"7721440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$0ACB8297-36DD-4761-BF7E-B910AA18ABBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166154$910BB9D3-BDB3-4ED8-99FA-12EB0E209BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7d6ca3aa85387589adf7c84563fdedb5df6e89","datavalue":{"value":"pointer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166154$BE7644EB-8FB9-40CD-8F2C-3402C15E131A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166154$60D6697B-DE61-4A6C-9AC2-C00F43D7C169","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":"Q6166154$5D835C62-692A-4317-88A1-84C236246EBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab4884c4aafa1b20a8ed795f8bcf30f072a5f29c","datavalue":{"value":"W2897305418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166154$08945502-DDD2-4485-B42B-E2CDE4C1A6D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7dd9f75c01012cd143c7bfff8b47885411b79d","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0c153a4a175236ac47f3d4933ae5f5dcab9b54","datavalue":{"value":{"amount":"+0.8202589154243469","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":"Q6166154$08FB766C-1AA9-46D5-B80C-218975CD3E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8d3eded1cedf85d4d1a0bf830ec5abb5204414","datavalue":{"value":{"entity-type":"item","numeric-id":636268,"id":"Q636268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e910e35caea72372fcc38f384d38affa50f56f5c","datavalue":{"value":{"amount":"+0.7726026773452759","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":"Q6166154$F6D08B50-1C4D-4439-BD44-7E52B69DBB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0540cf6e9afea9bcbc76d63db5a1d010faeabde9","datavalue":{"value":{"amount":"+0.770641028881073","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":"Q6166154$618E816C-9626-4022-8B85-43E2F1F0F782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfacba9bcb5ed4533ea46a692875a3f7c3b5f1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5434501,"id":"Q5434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad59a8a46f7a96635ec1666268b42a6a76c42df","datavalue":{"value":{"amount":"+0.7644988894462585","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":"Q6166154$3EF581E2-94F9-4B22-B8A9-0507FE3B6439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85485cb6787313ee550b6a1db69031acc11a9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5111651,"id":"Q5111651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4745f8f1ba29ea27635767a552a598b1a6963ab6","datavalue":{"value":{"amount":"+0.7614932060241699","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":"Q6166154$FDEDBBDE-6C48-432D-B2EC-B92D8BFDA37D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of pointer arithmetic in separation logic","badges":[]}}}}}