{"entities":{"Q4909354":{"pageid":6938933,"ns":120,"title":"Item:Q4909354","lastrevid":51667355,"modified":"2026-01-19T09:08:46Z","type":"item","id":"Q4909354","labels":{"en":{"language":"en","value":"Verifying parallel algorithms and programs using coloured Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144134"}},"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":"Q4909354$6685A22A-FB48-45DC-8F62-65DF7FBA8A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7525f758120759767cc3cb0a204f88f598622a22","datavalue":{"value":{"text":"Verifying Parallel Algorithms and Programs Using Coloured Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909354$01442043-0324-4651-AFCA-414927EAAE6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f5bc23722ba636e3622ad6a90545755d077cd64","datavalue":{"value":"1377.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$871593A9-504F-4852-A98F-2E9A25F0CD23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b28c5f7fe573f95ca166737458ec421479c2261","datavalue":{"value":"10.1007/978-3-642-35179-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$289B4AB3-4FD3-4DD3-8ED4-D416D6A6C9DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f840af237b09ac1455fffa22755b201552d7526","datavalue":{"value":{"entity-type":"item","numeric-id":2849448,"id":"Q2849448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$9C91ABA3-1A95-40FA-AF67-ABBF425B1EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa154b4cbc98af745082e3ef34f54341e48a3b29","datavalue":{"value":{"entity-type":"item","numeric-id":4909346,"id":"Q4909346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$30F4E665-51E3-4D34-8FAA-2E4E5F98AC84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4909354$67139D5D-A9DA-4FA8-91A9-085E4D6DD12F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$E4E30AF4-083D-4D3A-B737-B705B768B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$469F685E-AA84-4CCB-A8BA-2E43DA9AEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$B5221DC6-FD8A-4484-A983-6244A0611E94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b80194565319f9fdc7f5c23b482de93d9046ef79","datavalue":{"value":"6144134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$20417048-7FD2-42BC-B929-CBBF446C8520","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$F2CD6BA6-BF24-4AB0-AE52-682AD5943DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$36B60BFD-48E7-4876-9197-2FC2D562B7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9646598f283528e10ff8fae9ca48b03dff1dc1f8","datavalue":{"value":{"entity-type":"item","numeric-id":21929,"id":"Q21929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$6ADD5FC3-0521-4351-B3A8-EA81120B0747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$F2208DC2-EEE0-4404-9E34-BD27B5CF016D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909354$F6584DA9-4413-48C7-B7CA-4F0FAB919AD8","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":"Q4909354$CCABAA1B-D56F-44C5-B5A3-BD69FC729A20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa6f9747990fd292317ede8ba1268999ff9321dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35179-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909354$C964158F-BFFB-4CE7-8D8B-0101D2888AD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae5c178ca526726c37efa9079e1e4db2c05378d8","datavalue":{"value":"W28284498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909354$628AFBA8-3748-4508-A29F-4C14EA8FB4FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba7b7eb39fe526dfc3b40c462bc131e10a49224","datavalue":{"value":{"entity-type":"item","numeric-id":3751024,"id":"Q3751024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb3c32fa320a506bf3bd9af3a538e01eb5b1b06","datavalue":{"value":{"amount":"+0.7957053184509277","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":"Q4909354$2E5E2F10-05BA-4223-B6BC-5B22D53A3D5F","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":"56cc36ba107e3c5bc512b96f10128be94eefda86","datavalue":{"value":{"amount":"+0.7674781680107117","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":"Q4909354$F167ADD1-009F-4A34-AFCE-616E0F7F8C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1c18859da248d460967e22da829702ad14859d","datavalue":{"value":{"entity-type":"item","numeric-id":4371026,"id":"Q4371026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347afaee9f20ee33f5ab226ec09ca2b8138020c5","datavalue":{"value":{"amount":"+0.7671352028846741","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":"Q4909354$D1E681A2-1EB0-42ED-9A72-74F9B980D177","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":"347afaee9f20ee33f5ab226ec09ca2b8138020c5","datavalue":{"value":{"amount":"+0.7671352028846741","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":"Q4909354$1C932948-90DD-4D2B-ACB5-CE71FE58B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42384f8498eee2cd87c28c79ecc8b57dc1cbcb40","datavalue":{"value":{"entity-type":"item","numeric-id":3197326,"id":"Q3197326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9cce7f4200742e8103720e5a5406fef1e9d2c47","datavalue":{"value":{"amount":"+0.7588989734649658","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":"Q4909354$BAC8291A-F9D9-4F09-A21E-56A5FEF65212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4909354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4909354"}}}}}