{"entities":{"Q3179302":{"pageid":3190010,"ns":120,"title":"Item:Q3179302","lastrevid":52706366,"modified":"2026-01-23T07:58:12Z","type":"item","id":"Q3179302","labels":{"en":{"language":"en","value":"Verification of higher-order concurrent programs with dynamic resource creation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667500"}},"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":"Q3179302$22661BE6-08B9-426A-B390-82B6299834A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95edfbfc06dc962c0b7863895c9ef6cd7be38da1","datavalue":{"value":{"text":"Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179302$2FBBAC4C-A652-4E64-BC7A-AAF2C27AC2C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4bdfec59526c4e834958c09b53f8bc204aa525b","datavalue":{"value":"1483.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179302$6BCA9806-259A-46D5-9142-5A96128DF093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b341c9745b0c7f510be2e39961aea37ad85f4d1a","datavalue":{"value":"10.1007/978-3-319-47958-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179302$BBFE9DAA-4E9C-4A83-848B-C600CF1383E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f57f46c41c409df4f51d103c420171dfdb31a679","datavalue":{"value":{"entity-type":"item","numeric-id":3179301,"id":"Q3179301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$84C52B86-218F-476B-BEE9-42A8D06E44EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$8EFAD7EB-95E6-4FA6-8331-CE75CD79DC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$AC986BF6-1FD2-4A43-9197-EE1AD7913FFD","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":"Q3179302$034301A0-0022-4CA8-8567-23B0EEF04440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179302$2C6E4627-2D23-457E-B3ED-33CE6965242E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179302$E06FDC66-01AB-431B-A895-3F211E691FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179302$4C8A7AB9-98C7-4E7D-8A13-1047F0356241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f9c474f2f1291a12be48b953cd87ad130fb6e0e","datavalue":{"value":"6667500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179302$69C55225-B9FE-408F-B35E-17C67DFFB243","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7892f19b26d978fd2811b32e4ff9d1119e436ec7","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$76641E98-BE23-41B0-898D-999208608D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$0F6876ED-0DDC-47BA-A9B7-ACA480FF7EC6","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":"Q3179302$8BF680F1-4C26-4F36-9A22-4C0FB4D76B43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29f9600c35f14f4fb5adf576bf043f0554dbb183","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47958-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179302$A924B233-B995-46B1-9BCB-9FB201925DEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66b886550367bf4b2fa7b339aea0e7b68ba723da","datavalue":{"value":"W2528089582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179302$EA36AE1E-E856-4FA4-890C-729628889512","rank":"normal"}],"P223":[{"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":"Q3179302$FB2EEAF8-8074-4A3A-8446-36E0E155B075","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":"Q3179302$11ACAA35-D743-4284-A771-56E7B297026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$C175F572-0802-46E0-9FEB-89079C27E317","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":"Q3179302$9155D3DF-747A-45AD-B0ED-01DA941E2D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$97CF04E9-47EF-4A28-8CA0-49987D8ADC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c49ec0b2447eb9b73d89839d84213973e764f2","datavalue":{"value":{"entity-type":"item","numeric-id":3190126,"id":"Q3190126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179302$8504A9AF-A3F8-4DF1-8D94-EDCC1FFF5D2F","rank":"normal"}],"P1643":[{"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":"73ce23660cfdc8fa8ae2051483891372b1d641d7","datavalue":{"value":{"amount":"+0.757470428943634","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":"Q3179302$AAE0A020-2034-4580-8442-5543B3E9B35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492561ccd770ae3fd7a0dee4480709eed873a42b","datavalue":{"value":{"entity-type":"item","numeric-id":5308684,"id":"Q5308684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481fe242c345161da67e7733230bcf7223e7d3bb","datavalue":{"value":{"amount":"+0.7236339449882507","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":"Q3179302$2922022E-9D6A-49B3-B715-984496DC6B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad790ac83b76f284a1d22b663c830cd06b850544","datavalue":{"value":{"amount":"+0.7183706164360046","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":"Q3179302$D4E8C9FF-F7C9-4ADA-9BFA-9022B0E744E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82b110ab4ad93dba0033ff9fe014dd431d14a14","datavalue":{"value":{"amount":"+0.7178046107292175","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":"Q3179302$72D3E824-D726-4C2B-9D4C-43A18C811833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd31d70bf60ce307f83e4cda17bab71b61e24387","datavalue":{"value":{"entity-type":"item","numeric-id":3591397,"id":"Q3591397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a78cb9457b432a893e4dfd9a1c0ec82aa6b693","datavalue":{"value":{"amount":"+0.7120433449745178","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":"Q3179302$9248BDC4-2D2B-44EF-9114-2721F87BF4DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179302"}}}}}