{"entities":{"Q3075482":{"pageid":3086198,"ns":120,"title":"Item:Q3075482","lastrevid":45388861,"modified":"2025-12-06T21:17:40Z","type":"item","id":"Q3075482","labels":{"en":{"language":"en","value":"Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851852"}},"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":"Q3075482$588AA39B-E2BE-4356-9C51-A7AD676B0403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4272a96c01e80c2ad329d898a11c87abadf093ab","datavalue":{"value":{"text":"Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075482$93239DC5-9572-42F4-92CE-799BA7A3CA8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2b7cacbcdf35c48a567bab58f0c68c0fd55007a","datavalue":{"value":"1317.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$F4A0F868-5762-4E41-AB07-9028FE25C1BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d2ea37cac26d5ecc9d09be84ea61dbf4dc2ec33","datavalue":{"value":"10.1007/978-3-642-18275-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$D05A14BB-B8C3-46AC-BEBA-E865C1468034","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff75dd00fcd4a3f56295820358cc11a89e7faf1d","datavalue":{"value":{"entity-type":"item","numeric-id":435966,"id":"Q435966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$49A971ED-826E-4B9D-B024-068252E0C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$A2427BA5-51D6-4C80-BB50-99B6C80F42F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$14AEAFA3-9F02-404C-8EB0-B14ED0C2267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$FDFDC9FB-AF80-416E-AD09-DD66CB73CC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f494d196c801d0a1f06899d82240d80e55ae8b8","datavalue":{"value":{"entity-type":"item","numeric-id":2917314,"id":"Q2917314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$9C55202E-C32C-45F4-8531-8D703E1D9863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$9218F0DA-1101-4DC7-B693-C4BFF56D7937","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075482$82628EFF-3172-4568-B4D2-D222DB81FFB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$A3EE1DB8-8A27-49A9-AED5-70C6DF739D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$99CE4BEA-6741-4296-AEED-91D13E03CEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$BE85A066-44D8-4AF1-AC2C-F732E6F4D218","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b894fe895ce2a42ab7d445853feea8e6a17c8158","datavalue":{"value":"5851852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$9595A932-15C6-470E-9F3C-4E2FA8592B51","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":"Q3075482$D0970473-0946-42D4-9705-DB1D89F2FB8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5b17135546769c162a851df879e81bd9b446b99","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075482$AB34F2F4-91B4-4023-8F03-AB5498465D28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca63c43a71c997e5a48a0a009067901d253c3e99","datavalue":{"value":"W4256626421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075482$2A69BEFE-54EA-4873-A5DC-1C6CE3041C79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$5E3D85AF-3243-4310-B904-BFBDE3D6ED9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$BA4779BE-0554-4427-B7BF-93AD3A7FA5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$087B5087-6654-4642-95F9-29500CF80B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4697f44823f8beda22de7e4e1d26f72ba958363a","datavalue":{"value":{"entity-type":"item","numeric-id":3075482,"id":"Q3075482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$60D3A320-7C35-49A5-9118-3BDA338775B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$8277F0AD-D602-4780-9982-DA3DD9F91598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a519c4484423c54ee6f806d6f28332875f6bc4f","datavalue":{"value":{"entity-type":"item","numeric-id":3522077,"id":"Q3522077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$BCC39512-5077-455C-9AF8-F10429CB9FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0217be03b76b871fb6fb4de6b49fb9c0bd33eb66","datavalue":{"value":{"entity-type":"item","numeric-id":3636879,"id":"Q3636879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$F7065983-4BA7-486B-A10D-6338B6F07CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f0ab0a8c783338fb4ce65d97b7e35d81579254","datavalue":{"value":{"entity-type":"item","numeric-id":5176023,"id":"Q5176023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$61F71372-177A-4C4A-B8DC-E79689BAEE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401e5596bb83d08c64b9b2703f78c873736313e4","datavalue":{"value":{"entity-type":"item","numeric-id":2712587,"id":"Q2712587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075482$A9E1EED8-7430-4A11-A2B2-988E676087E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83572cf736abf5f2d6d27711afade9973a0093dc","datavalue":{"value":{"entity-type":"item","numeric-id":6039304,"id":"Q6039304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8212e79ffbeb0d200be4aeed7d42ca75fefd4bff","datavalue":{"value":{"amount":"+0.89330816","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":"Q3075482$5E043CDA-0B2E-4A8E-9069-3A31B8DDFBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c372af39a26ac6a90db42578e5f1e6f719300f90","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eceeada6f2bbb6124524e6d59859121fbff645bb","datavalue":{"value":{"amount":"+0.87891096","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":"Q3075482$BCFE104A-8C05-4EBA-90A4-AB9C9C0D5244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e671e823e3a6989aa37480b0c1bb47a4d7f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eceeada6f2bbb6124524e6d59859121fbff645bb","datavalue":{"value":{"amount":"+0.87891096","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":"Q3075482$15E69B6C-3614-4686-ADEB-271B68BB1CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78fd60772cb96d52f18c2131d51fcf195bab38e9","datavalue":{"value":{"entity-type":"item","numeric-id":5897080,"id":"Q5897080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0037e5b63f95973eeb5ebe964bf5d2fde7771397","datavalue":{"value":{"amount":"+0.8515154","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":"Q3075482$8D2F22C1-78DB-486D-B2E7-166F8C67A8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a375efc9205a8d84beeb89770275c273822b25","datavalue":{"value":{"amount":"+0.85070664","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":"Q3075482$3701A346-646D-4C66-9C94-7913A0F4AC5C","rank":"normal"},{"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":"b3a375efc9205a8d84beeb89770275c273822b25","datavalue":{"value":{"amount":"+0.85070664","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":"Q3075482$C147F7F0-FAFF-46F7-A73D-0AD77E7D7B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a603030ddc8bb6b6bce0fd1f2a8303a5e8a1684d","datavalue":{"value":{"entity-type":"item","numeric-id":3179302,"id":"Q3179302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1703f0d8c210f8f6a51847d423f71b6fd46f0c76","datavalue":{"value":{"amount":"+0.84791577","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":"Q3075482$4F0FF456-9D25-4DA6-80BC-4946E6E0744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43cda6f6c242a961c85e2c134d58a35a6e64ade3","datavalue":{"value":{"entity-type":"item","numeric-id":5712879,"id":"Q5712879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec893a6dada4df78c180c8111071c990b770b2a","datavalue":{"value":{"amount":"+0.84638923","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":"Q3075482$A60F495A-3C68-4DD4-9C54-9CF0B91E6F92","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":"d2d42bdc06ef1f78d89f75871a2183fc370ab3f6","datavalue":{"value":{"amount":"+0.8444606","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":"Q3075482$5B0769E4-E713-4959-AC40-8C6EB2272481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0295a1a7bb6ef8ce48ff2ebe296c4b0b5b62669","datavalue":{"value":{"entity-type":"item","numeric-id":3190126,"id":"Q3190126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5c85d76833dad1e23c75fb52fe4974cc942a01","datavalue":{"value":{"amount":"+0.8443767","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":"Q3075482$FB62AAF8-FEA8-42EB-ABFF-EBA06F4BDC8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075482"}}}}}