{"entities":{"Q2234071":{"pageid":2244814,"ns":120,"title":"Item:Q2234071","lastrevid":71633847,"modified":"2026-04-13T23:32:46Z","type":"item","id":"Q2234071","labels":{"en":{"language":"en","value":"Verification of concurrent programs using Petri net unfoldings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410639"}},"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":"Q2234071$49B9C32F-1E60-409F-AFA6-200175F12FFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2c83c8f9e12c31d668df5ed6e45cd7492a93e94","datavalue":{"value":{"text":"Verification of concurrent programs using Petri net unfoldings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234071$580776E7-00EE-48EA-957C-D859BE8A841E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe61f860a44aaeadfbf9c7a9659009783352cd0e","datavalue":{"value":"1472.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$8804B7DE-BDBC-4D7E-A4B4-3D31E7EFB9EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b699157bea83d867dc46129247144348248252c","datavalue":{"value":"10.1007/978-3-030-67067-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$BB373B85-66AA-4D32-97E8-5B12647ABCE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e156e8fa4d3f1d15652d6c661fd72d146102a7","datavalue":{"value":{"entity-type":"item","numeric-id":1629965,"id":"Q1629965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$853D20C3-D355-4125-BB37-D37C47B59E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6692089e7e1e9109051611e18cfa47c46af10959","datavalue":{"value":{"entity-type":"item","numeric-id":1629966,"id":"Q1629966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$46B65CE3-01E3-4C09-9BF3-E7B256DBF492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e2f83f6fff8b5e8a926230dd22265070b1cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":2234068,"id":"Q2234068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$FC6EB928-838C-4489-910F-FD5B7FF0F7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4f3515eb03d763fd3d7f0df24a746ec16a0d39","datavalue":{"value":{"entity-type":"item","numeric-id":2234069,"id":"Q2234069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$B2D5EFCE-7322-444E-B4D6-8641A8A7EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$391DF47A-F578-465D-B24E-290B7881C1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8a7fde4a62bc287937206341ab4d7a7a02f4c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2234070,"id":"Q2234070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$8FF0A1C6-58A4-45C6-B53E-AE06266EC96D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234071$E5BFF017-AE2A-41DD-B264-2888C3548070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$694033CE-2375-4F10-BDD8-DA55585514EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$17E8C7B1-9932-4300-BCB9-426753A69CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$E9B91FD1-636B-46C2-AA1A-17BC86B48372","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0759bbe0337588ba29deef4f4750e3125b31554e","datavalue":{"value":"7410639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$1502B200-75D1-46C1-AA62-10A8E539B144","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234071$654FA7B8-913A-45ED-8279-336F3160D0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e99e7043f8ca48e55c1cdb65dd465ca49e053f","datavalue":{"value":"unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234071$95DB09BF-4CF2-4F0A-AD64-88390A5A263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234071$2AE8FBB7-4D73-4298-985C-B1AF14700139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234071$4ACA62F6-1EB6-42E2-98D9-D202DB4C8026","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":"Q2234071$4D98A297-ABBE-4329-B44A-FF3FF335A14A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b89130dac9464ff8468d6937834c01d56b6cd36","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234071$3468039F-D004-4186-968D-608395E17CB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"490676e823bc523988c753e18b25864715df9954","datavalue":{"value":"W3121117370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234071$A7B3508B-19E7-462A-8762-5524346169DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278f450e92c60aefd3ce7b062893c4212f063b7","datavalue":{"value":{"entity-type":"item","numeric-id":5326305,"id":"Q5326305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$051D4E06-4227-45B3-A8FE-574D89778192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$CC1588C1-FED6-460C-999F-EBA3EFA1B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6523ef816a30cfe59e18dfe51bd083fb459630fc","datavalue":{"value":{"entity-type":"item","numeric-id":3512507,"id":"Q3512507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$32731BFB-C4E5-470D-AE6F-8C946C326F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547ea93e9e2f717f44952d9eb38757244cbb564e","datavalue":{"value":{"entity-type":"item","numeric-id":3460058,"id":"Q3460058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$CABBD892-EB55-49B4-AB31-9CFAD097E73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$ADC8319B-C5B3-4B63-8CFC-211EAA0219DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7de5dcd90bea7a12c122991e2926928f4f9025","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$DAED923C-194A-43D1-B6EB-4A45631FE20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb01f51aac999eba17cc3ca784f571a7357214f","datavalue":{"value":{"entity-type":"item","numeric-id":2931789,"id":"Q2931789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$43A618BA-F4E4-4783-8D5F-5EC80CB1816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d1a060becef7034c76396e1df8cd15b1e43c9","datavalue":{"value":{"entity-type":"item","numeric-id":6194574,"id":"Q6194574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$661584FB-B7B3-4D4C-8201-01FA1B66AB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c55a9f68ffc0e71e7984b9c43c61a46d7027f03","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$4D436E11-110F-448C-8713-3E69C9F9BC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd78d251166de965701d0b707e5b374a2655b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$F50E0E02-B3CE-465F-A71A-62EFB6CAC9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a51dbc9abffc0a2460ef1d45191e189ab66ec4f","datavalue":{"value":{"entity-type":"item","numeric-id":3000591,"id":"Q3000591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234071$08C669E2-B234-427D-8565-019060FA6879","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e33e645d06072c693f92489034f44813f6c8fe","datavalue":{"value":{"entity-type":"item","numeric-id":5200078,"id":"Q5200078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629edd9b747c522cf8e61604e665520af23302a9","datavalue":{"value":{"amount":"+0.7804301381111145","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":"Q2234071$433AF9DE-710A-4A51-B07D-009364B07267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0dafe7c76d577dd2487ec46077719621937d31","datavalue":{"value":{"entity-type":"item","numeric-id":350966,"id":"Q350966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cccaaad1ea3032239092390b4a5b990e0468d9","datavalue":{"value":{"amount":"+0.7758331894874573","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":"Q2234071$2DFF7277-5720-4E93-A370-5E122B422681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e4c895fe7960d75fd56edf3385c11ffa23ce39","datavalue":{"value":{"amount":"+0.7752688527107239","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":"Q2234071$6923D1D4-4A37-48A1-8E76-71905026F213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee8a46f5ca181e619f2f95557a9f57198dccc70","datavalue":{"value":{"entity-type":"item","numeric-id":878111,"id":"Q878111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41d614223f948baf3227831b4c3082f672b2b0b","datavalue":{"value":{"amount":"+0.7744685411453247","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":"Q2234071$CC649E47-4346-454E-9F83-F00A9E42001B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ae967934b6c653ff89c35de8be3655659a54af","datavalue":{"value":{"amount":"+0.7740440368652344","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":"Q2234071$37B209BD-AE6E-4239-824D-D872F0D6B7A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of concurrent programs using Petri net unfoldings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_concurrent_programs_using_Petri_net_unfoldings"}}}}}