{"entities":{"Q5300863":{"pageid":7330437,"ns":120,"title":"Item:Q5300863","lastrevid":92104790,"modified":"2026-06-05T00:52:50Z","type":"item","id":"Q5300863","labels":{"en":{"language":"en","value":"Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182468"}},"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":"Q5300863$58A2B897-900E-46FA-BDAB-B4E4CED15C85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e58884b10515b25c8a7251272b926ae9855fd5f","datavalue":{"value":{"text":"Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300863$209BB9CD-9E37-4C11-9B17-4DD254AA06ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9436559c5f7f2a4d4aae245a1ef988bb1f92617","datavalue":{"value":"1381.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300863$CC4631F1-1EDD-4192-ACFE-BA91FA38A9BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84484c1b1e7dd9711a4f4dfe5761d4d5790260b4","datavalue":{"value":"10.1007/978-3-642-38697-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300863$27481DE0-30F3-44C5-9266-6AC9B678BBC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300863$1F76463F-22EA-4D53-B5D8-2D2FD594BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db77f7fe58513e6af6cff38a46f5f431615b652","datavalue":{"value":{"entity-type":"item","numeric-id":344787,"id":"Q344787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300863$9037C365-54DE-4B31-9AAB-477FE9B7B417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4f1d6b422604681a1dec9879ec3d8d5f7ee0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1412281,"id":"Q1412281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300863$2AF724E2-2495-436D-9B4A-04C2BFD6C214","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300863$FECBFDF3-D4C3-4401-B9DF-32EC6FE8CE2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300863$346DB10D-6784-4579-BD25-63D4730C3453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300863$F8C78832-15FC-41B0-ADFC-9797EEC61F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300863$1D4AC6FB-2FF1-4C9C-A17F-C39D6DB51E76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1700b1c7b9e7837a6d8751fda47b5424c5f399c1","datavalue":{"value":"6182468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300863$E3B03A3B-49FC-4884-BA9A-93D7E50DE860","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300863$AFD1D8A3-5F38-4CF1-9282-1E90B0636B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f4b9cbd05bd36326799779b30f3bb80de21e6407","datavalue":{"value":{"entity-type":"item","numeric-id":21919,"id":"Q21919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300863$C346437D-B85D-4BBC-9843-EE2C849F1F80","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":"Q5300863$98B627AD-21D4-4E00-871E-6C488E72F0FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f8d564d8e04c231a7a198927dbe1e388aa0b755","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38697-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300863$B4C04FFF-506C-4355-903C-E6B8D7F42C17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38d5725efb35df12e4bf4cb7ab655717d5f25b8d","datavalue":{"value":"W111437419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300863$FF94E04F-FEB9-4180-A8C7-E03B8D4C12F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a77e9c7902db7e0c5882f1d9b250e37df14504c","datavalue":{"value":{"entity-type":"item","numeric-id":2393141,"id":"Q2393141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2c764c39818da6c68b2228f7273e537f2766f4","datavalue":{"value":{"amount":"+0.8840600848197937","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":"Q5300863$97E43D7C-7187-40DB-BFEA-983CB9A82EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25f1ce09677d5ccd8b79f096c82aec9ed6692bd","datavalue":{"value":{"entity-type":"item","numeric-id":1871095,"id":"Q1871095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db03f06284da812219741fe8f450cd4eab850090","datavalue":{"value":{"amount":"+0.7478542327880859","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":"Q5300863$47EBE641-6015-4F61-A18C-C94CE952271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d4f234027c25c788201f98ec44aa1a0bb20cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5261522,"id":"Q5261522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0071770ebd3ae2a5cf9133bf5d6c70d888bc36","datavalue":{"value":{"amount":"+0.7393696308135986","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":"Q5300863$AEBAEBF0-0E8D-4275-9434-C02F4B1AC2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87142145326f65522066da3af1bfd50fd94089e","datavalue":{"value":{"amount":"+0.710953414440155","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":"Q5300863$BCC5AE2C-84C7-40B7-9DC2-A6A4CD4B5E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0bf42d4e94f2dd0a2bee748a33ab72efa74c68","datavalue":{"value":{"entity-type":"item","numeric-id":3033343,"id":"Q3033343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bc2359c395264c7577d36d2ab26c9a1d63f905","datavalue":{"value":{"amount":"+0.7083187103271484","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":"Q5300863$6B7FBD3A-6FDA-465E-BAA1-34E6FC39AC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eliminating_concurrency_bugs_in_multithreaded_software:_an_approach_based_on_control_of_Petri_nets"}}}}}