{"entities":{"Q4930732":{"pageid":6960314,"ns":120,"title":"Item:Q4930732","lastrevid":40953229,"modified":"2025-04-15T02:26:38Z","type":"item","id":"Q4930732","labels":{"en":{"language":"en","value":"Compositional Bitvector Analysis for Concurrent Programs with Nested Locks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794762"}},"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":"Q4930732$CAD12291-17F8-424C-A9B5-4CF1579B04C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a0033396baa4f18c80800a07dab562b522a973a","datavalue":{"value":{"text":"Compositional Bitvector Analysis for Concurrent Programs with Nested Locks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930732$E235CB2F-90A6-4462-90DD-BE098212F8A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5e3b2927e93a97d407488d050b2904b847a0113","datavalue":{"value":"1306.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930732$A83F4284-B0CE-4BFE-A764-86077DD21324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b365a537962be42ee956f5d8d0e93d0516f2005","datavalue":{"value":"10.1007/978-3-642-15769-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930732$152AC21F-D0F0-4E99-8FF0-F942E10FA7CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930732$E723B21A-475B-4EA1-BCF9-CECF126C2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930732$A4048539-2724-4EB7-B500-6ECC56F90833","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930732$516511F8-5F3F-4997-A93E-66F6AF57BC24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930732$83CE2243-B79D-476E-AA90-FED221FF48FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930732$2DF4E01C-D9E2-4B0C-BA99-3E1C36EAF3D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"323343d3e8d8f33b982e0933c1aeec649a891aa1","datavalue":{"value":"5794762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930732$D66CC6C1-A451-4090-8791-240F13B7A896","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":"Q4930732$DE67959F-8930-41E9-8894-ABB6554CCBF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c9a0493ab2a3cb89ac575ac7a078c6351bb254a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930732$F73077BF-B567-4B0D-B682-B920534727D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bd7be51525ea17cdc8c585329b335c8800ed9e4","datavalue":{"value":"W1582180905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930732$03236DD0-0295-4704-A734-734B53E15B97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b3349e861057ef25d3e153f1e107c33a6e3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851982082055f62f10045ad1227ddc3a7e6753e7","datavalue":{"value":{"amount":"+0.8726915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$E0E59D03-C127-4908-949B-724F3003A48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9ad684359cee10f14d500c78494bcaf4d18328","datavalue":{"value":{"entity-type":"item","numeric-id":3172801,"id":"Q3172801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9c146403f100f1d2ea86f497fba2fec606e8f8","datavalue":{"value":{"amount":"+0.86954474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$97D0AF05-5E99-4A99-9655-D32524F97F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e18e5eb0d420eb77a356778da4f7d613e793467","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de758b271e8c4e025215bc23c73be9fa110858da","datavalue":{"value":{"amount":"+0.86456406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$719B8799-D18E-44C3-848F-E0BD391BE7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368d9aead33be472d8e513db4038fdffb832c507","datavalue":{"value":{"entity-type":"item","numeric-id":1705697,"id":"Q1705697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a097e98efd91d74cf172385e323ca66dfeb3e6d","datavalue":{"value":{"amount":"+0.864333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$18460537-C2F5-4266-BAA6-EBAE5D03A406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e7f2fa86319898784ab1c1ddf715aaf9c6d04f","datavalue":{"value":{"entity-type":"item","numeric-id":2024370,"id":"Q2024370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0332830a1a6f53a82d3bd8de68dc1977f84bc1","datavalue":{"value":{"amount":"+0.8588413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$764E9E05-F626-4DC1-97E5-CF9052F4BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d7f967faf9ada67efdc3f6a9753a12f622a05a","datavalue":{"value":{"entity-type":"item","numeric-id":5353290,"id":"Q5353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1721b44c311cf09971077b75f6645d0433edb875","datavalue":{"value":{"amount":"+0.85706544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$08D5271B-1809-46DC-A1E4-A4B3372F2435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9499cf13a51899fc8d01676c2f96505b874b1491","datavalue":{"value":{"entity-type":"item","numeric-id":5056000,"id":"Q5056000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475f4e7d35638750d44d797d814282f68c780023","datavalue":{"value":{"amount":"+0.8558748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$0D4C70CB-2BB3-4376-8695-63E1D83E1F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba9be1de89f6b342da1ed2ab9ff202790b7e432","datavalue":{"value":{"entity-type":"item","numeric-id":2324194,"id":"Q2324194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492dcac94c10036f06c8aa8e1bf7296c6859d9ac","datavalue":{"value":{"amount":"+0.85544336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$EF3196AB-B785-46F9-BD66-0418371C13AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a9e3bd3c49dda81863917cd474eac4c66a4191","datavalue":{"value":{"entity-type":"item","numeric-id":4284246,"id":"Q4284246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab98bda23d91027bbcd4c50c2f9ee01c801a6da","datavalue":{"value":{"amount":"+0.8539439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$A04B4380-4136-4458-ACA2-5DA54AE585D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2300da25a4f389c7fef8524dfb5b4d0c78b45603","datavalue":{"value":{"amount":"+0.85376894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930732$179DC236-5C16-4E40-8FF6-8A0B7845C151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930732"}}}}}