{"entities":{"Q2942913":{"pageid":2953633,"ns":120,"title":"Item:Q2942913","lastrevid":52343642,"modified":"2026-01-22T09:45:33Z","type":"item","id":"Q2942913","labels":{"en":{"language":"en","value":"A generic approach to the static analysis of concurrent programs with procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481284"}},"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":"Q2942913$000B9BF3-7DA1-4263-B611-A1FDC2528859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1be388c047b8fab2b1ce6f088c6eb3ddc9a2e2a0","datavalue":{"value":{"text":"A generic approach to the static analysis of concurrent programs with procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942913$B9DF1C41-08FB-49F8-9883-51D1ADBF7B1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c96f1d1cb39855688fc314f41ced4efd67867e7","datavalue":{"value":"1321.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$DED2B824-B6E9-4AE4-803F-2262854510D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d344ee785568cf24bc451b4cc3923aea214ff44b","datavalue":{"value":"10.1145/604131.604137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$B689582D-D8D3-493E-9FA1-7A9EB3CBCAB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$642FFC60-CFA3-4291-AA1C-E2D76DAAF35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$CC9FC421-8C9D-4162-AE45-0BB69D505230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$8ACA0755-F90C-497B-AAB0-DA4523E654A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$DCA9DD2A-09DA-461E-9278-6916FB9FAA42","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":"Q2942913$6C985D35-2B34-4FFE-B9D9-32B7DAC5CFBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$8238C9B7-F4E2-4150-8DD8-FD1D27128A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$96C613A4-849A-492A-94E8-B9CEF92606C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$DDB161C0-AF1C-4A75-9928-28FB11EFB492","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8024322eecfede2c7e7363a706905feca0603cd","datavalue":{"value":"6481284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$B8952451-360B-44DF-ABA5-CC5AEADF3990","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942913$51CA9009-1D3B-4501-9A54-CD10B7EE98F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de9c72506eebd23e9b9b7fc0f632d9aa00a57b66","datavalue":{"value":"concurrent programs with procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942913$68A1F73C-7ED7-4EBD-B9FF-8F00139F70E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942913$D190B1DE-E8AE-46CE-B814-08A44FD7248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942913$99581870-1C01-4513-A471-1D107A552EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942913$7E2FCEF1-2BA4-487A-9E54-0B2367D6EE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942913$96BF8820-4073-4994-807B-5F1ED4E11299","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$4B6E6D6D-2D74-47E8-A982-DBB4E3608C17","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":"Q2942913$F1E44C38-7050-4178-BF21-54995D6B8A04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8844c7fe04bb41e754e1b2b3b1799ddece267db","datavalue":{"value":"https://doi.org/10.1145/604131.604137","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942913$C6122772-4995-42A2-9399-7445A2C12DD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f23d75aa5af937cd60ab9bdf2714e127c150d21","datavalue":{"value":"W2160520283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942913$E1966852-4F29-4121-BF3B-DF3ED8A1C2F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$F9469374-09B0-41D9-ADBD-B91FCE44E5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$A4978AD5-3A77-4C64-B274-37848339E545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$AB4DDC8D-8268-4664-9C64-1725F2591741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$30FECD83-A98D-44A7-B60A-0C878DADDCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$3F00D67A-D8F2-4B03-8322-D782196461F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$72567F8A-8460-4AAE-AE5B-9A6960B9BD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$6E6C3DFF-AB6F-4154-9880-5244447C4F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942913$B5FFB040-28B6-4AA1-8546-F863013F563F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f053beef2992a6eb6c8a6e7c69aa91d73e3bef7a","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b242f90eb6234418c4f2f72a881d55c5c3ddfafa","datavalue":{"value":{"amount":"+0.9999992847442628","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":"Q2942913$1E9D2DD7-2CBE-42F2-932D-822AD9BC2BB4","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":"b7c738f7798272e53904d7a608df73763a5bc34b","datavalue":{"value":{"amount":"+0.7956727743148804","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":"Q2942913$B9B6EFDC-B096-4C38-8528-D6A06A2EB22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37a362d214d39636c985928d616222826bb76f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e0c9fb66cd47ec8f646ec1c1293768d1150db9","datavalue":{"value":{"amount":"+0.788841187953949","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":"Q2942913$98771456-3358-4BF9-8399-6593AE769932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61d67c9b07fceb710d39d8e2809be2ee5ba7fee","datavalue":{"value":{"entity-type":"item","numeric-id":4411946,"id":"Q4411946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5623a09941d0ddb3d12a09647640d7276be7f8e1","datavalue":{"value":{"amount":"+0.7833177447319031","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":"Q2942913$15A2BB1F-52C1-4CB3-A7FA-7BA4C2653BB1","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":"f93617342297b9f3ae62a27120abab3a033e5a93","datavalue":{"value":{"amount":"+0.7699049711227417","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":"Q2942913$2C4F4BBA-F8D8-4447-B72A-0C7C5ADE8D09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942913"}}}}}