{"entities":{"Q2942881":{"pageid":2953601,"ns":120,"title":"Item:Q2942881","lastrevid":44752341,"modified":"2025-11-25T19:09:16Z","type":"item","id":"Q2942881","labels":{"en":{"language":"en","value":"Verification of parameterized concurrent programs by modular reasoning about data and control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481256"}},"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":"Q2942881$E6D6D9CD-808C-47D2-9F21-28A4E855CA7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f0cb06b5858a8e55f33da077ca297500c6c3297","datavalue":{"value":{"text":"Verification of parameterized concurrent programs by modular reasoning about data and control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942881$1249BEA0-86F5-412F-A1BA-413E838C57E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"500f13fa12d4154378a026bf3afff906a097936d","datavalue":{"value":"1321.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942881$942521C4-6886-4073-9DAC-A1E3526D5609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a88163b619dd207b917bb7dba2830438ed7d6873","datavalue":{"value":"10.1145/2103656.2103693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942881$21B83C8A-3871-45B4-A96A-EEB74B5DA04B","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":"Q2942881$0B5B57AE-AD35-4012-BBB3-4826A4A2C867","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":"Q2942881$F17A0E0E-9B3E-44A7-B65B-F881756E61E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942881$286F2A75-3F19-4FF8-A772-90939EB63C02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2942881$E58DF5BB-C95F-498C-96CE-67B93D7907FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942881$8E30BEF2-D742-492C-8466-ACDC3934B373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942881$824DF33F-AD0E-477C-92C4-14B9C16C36E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b75af4109ad96da9fa5f7269f8090831027475f1","datavalue":{"value":"6481256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942881$9E7F559A-0602-41CC-BBE2-BF6966AECE87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942881$948AD787-C760-48F1-8FD0-E6E6214F79F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942881$BEF428AF-9BD0-4BC5-AB81-73EA9FA6C835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942881$BDCB67FA-3594-4C92-9C63-9A19748CAE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2f9e32c889c74a0a51d0055fbc3ee4ecb88e16","datavalue":{"value":"data flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942881$3F4826E4-F8F5-46A1-9D03-377AEB36652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c167cd938cea21df7518e37a2e8a0b74bb2e81","datavalue":{"value":"parameterized programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942881$582F875E-531C-4E1B-A699-1F63BA7EB5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7958cb5dcf97c40d4cb3e7f43e64fcb40cf3c394","datavalue":{"value":"thread invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942881$A272753E-3296-44F0-A01B-ACCBC6C47CBC","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":"Q2942881$BBA75EEA-9DC9-4BE7-ADD4-CF681D410A4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47a3e3bf6bc54398ee7a1716cdb3fee4cafa204e","datavalue":{"value":"https://doi.org/10.1145/2103656.2103693","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942881$0457EB6A-AB8E-46D6-9787-93549AD1ACF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8eebc70b69005af01edadd5ba0e03ad7fb2971c8","datavalue":{"value":"W4243742593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942881$F8BB2B35-8023-482F-A3C8-EC8E54CACE08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3dc43391db59315878bcca9bc788140c8f0217","datavalue":{"value":{"amount":"+0.92530894","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":"Q2942881$CD845DEF-4C96-49D2-BB93-76610D0C16F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd58e35ea0d94431e12848661293797dfb8a91d","datavalue":{"value":{"entity-type":"item","numeric-id":6109590,"id":"Q6109590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524d634eead3513f5dda76ce5e304589821b8a19","datavalue":{"value":{"amount":"+0.9217259","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":"Q2942881$86C0F78B-2281-414E-B9ED-3195738B8847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3397a127c507976e0bec975424d3ee94ea4faba","datavalue":{"value":{"entity-type":"item","numeric-id":1648035,"id":"Q1648035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b68deb2f28460b96b88f051a526f21aae28cafd","datavalue":{"value":{"amount":"+0.9138748","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":"Q2942881$ACD74F9D-7E18-42B5-9517-54988757A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fe9074bc702a80bf4177c4502a45ba35f62cf2","datavalue":{"value":{"amount":"+0.9092416","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":"Q2942881$426E27E9-0A51-422D-9F20-93DB5574B687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3490f34d0d6ba2f54fad3208ae926689909c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc67c143476984b4f079468cf1af077c7930dd6","datavalue":{"value":{"amount":"+0.90387964","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":"Q2942881$C8DC903F-1E4D-4164-BD3F-0A182FF24659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00625a6c25c2c9802a2a53ca8faff84cac92356","datavalue":{"value":{"amount":"+0.9025876","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":"Q2942881$8BB6E2B3-0369-46CF-83F2-5507495345BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99384cc35d618ead3e73a7511b5f128f6aff49","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b38336bcd4819b23b6c855bce400e2b29bf6fa","datavalue":{"value":{"amount":"+0.9017178","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":"Q2942881$32AF9DFF-8C20-4ADB-A088-605D8158C0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69180a46bd58717746b59b96773f82ae254305eb","datavalue":{"value":{"entity-type":"item","numeric-id":557795,"id":"Q557795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba22c16dc65019bcbe3df3d7e28a901f38e2511b","datavalue":{"value":{"amount":"+0.8978685","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":"Q2942881$81632F6D-B273-4BE7-AE63-9357E08B335F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942881"}}}}}