{"entities":{"Q2515336":{"pageid":2526079,"ns":120,"title":"Item:Q2515336","lastrevid":44245548,"modified":"2025-11-21T07:55:28Z","type":"item","id":"Q2515336","labels":{"en":{"language":"en","value":"Verifying UCM specifications of distributed systems using colored Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6468649"}},"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":"Q2515336$9B13418E-1A4E-424B-956A-A12809872A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a55889898295d4904398a9d89b97a75f098bd95a","datavalue":{"value":{"text":"Verifying UCM specifications of distributed systems using colored Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2515336$E7366A05-0DF2-4072-A2B8-9BD481029F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ce7ff4e0bbec5e2d750f122f2bd8b4a157fff27","datavalue":{"value":"1317.93177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515336$FF96334B-BE88-4838-9AF1-D409A9AC9594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"715fd470e2395b0c1483a2bf4494b6bf6ad5ef04","datavalue":{"value":{"entity-type":"item","numeric-id":2515334,"id":"Q2515334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$61083525-F6A7-43A6-884D-FB11D125A782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$D7AFA756-7D67-4844-BA1D-78C86D1AFBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"292ccd38c15652b047c9236d71f7b13bb1868c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2515335,"id":"Q2515335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$4A8332CC-6164-415B-A45A-496063BA2BF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$3B363023-F095-4065-A22B-115F70D33639","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"167d49475978afeaeca33e3e3160e31822a1b0d5","datavalue":{"value":{"time":"+2015-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2515336$090ABD03-422A-4CB9-88BD-E9BC75C69CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515336$0A3982D3-3330-4CAD-836E-A7B0CAD47AE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97f43841a77fc929671498767b766268fee2420d","datavalue":{"value":"6468649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515336$54208523-4256-479E-ADFF-0ACC56A2CF6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515336$BB5C6D2E-A287-4ED7-B02B-E1A368DF6BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515336$39D05E87-BE2F-4E2F-8F2C-5411F5DFCAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515336$669114FB-5943-4CB9-8BB5-DB482B25AD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187085011ff54339f242337130d2aa5d03ac8634","datavalue":{"value":"use case map notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515336$D961C248-B399-4458-97C3-A31AD0674C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5843c3ba6a746731abada79dfb2cbed9b56c3e60","datavalue":{"value":"colored Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515336$A5BB41B1-19A4-44C5-825A-679EBDA74775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da7fa89c8b740f8cd3a397f4f6df9dacad2c66c","datavalue":{"value":"SPIN model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515336$360BAD78-F312-4611-9E69-C30B511D7CED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a987d68805e598217b64498a861f88f6be67a629","datavalue":{"value":{"entity-type":"item","numeric-id":14001,"id":"Q14001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$0F9C9158-C891-41FC-AC5D-7C15D4895034","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":"Q2515336$0ADF5B53-F30D-48E8-BD6E-C0A8C984F860","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":"Q2515336$CA6FF9AE-8483-462D-AF13-105EC735AD92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22520ff9d442d8396f2c970687267831b43e9365","datavalue":{"value":"https://doi.org/10.1007/s10559-015-9714-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2515336$C09349AC-4219-42C2-AE58-0BF12B936654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3dc9c1d7fbf75de69389e971248a453aee23dbb","datavalue":{"value":"W2066600675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515336$BED4F8DD-2F07-498C-ABFB-2E117D2A2F63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bb7b85bcfe60786b1826d365364c1857dce636","datavalue":{"value":{"entity-type":"item","numeric-id":5479169,"id":"Q5479169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$85F21581-BD08-4139-B732-B3CD434483F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba930fae63a0c72e2bc64bf05228c1b1522c8e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2573328,"id":"Q2573328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$F5B4A45D-8269-457A-8C18-6F39BB884F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$621A91F1-B634-46AF-9A56-FF81F8547709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17baa880efa7d17353454a2c6ac6325e69baaade","datavalue":{"value":{"entity-type":"item","numeric-id":2515336,"id":"Q2515336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515336$B5364FAB-0164-446D-93CD-7376503CE45B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45a23d3a6bcdb27875d36103002a5de169c1242b","datavalue":{"value":"10.1007/S10559-015-9714-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515336$B9C4A735-69DE-4403-92E6-62B4CF13214F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3519e6b4ff00b2039a560c273dfe47f9a511510","datavalue":{"value":{"entity-type":"item","numeric-id":5712297,"id":"Q5712297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a213720ae22b39f2c52681a95abd5d5fd291cc2c","datavalue":{"value":{"amount":"+0.90709126","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":"Q2515336$1176CEEA-8231-4993-B9C3-BA887AF9DDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5484b6d626922faaef3a28f70e1a43869909a6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305742d6b91764efff03046065b98abf271dd041","datavalue":{"value":{"amount":"+0.89881706","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":"Q2515336$455AC8D2-771A-46FF-8744-C78EDC9B2B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757db22ac137513c579e17f520dda9243245f610","datavalue":{"value":{"entity-type":"item","numeric-id":2723329,"id":"Q2723329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b94b028b5e1c06c52a1dd4c60cb28ca14220e2","datavalue":{"value":{"amount":"+0.8984555","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":"Q2515336$433418BE-B865-4E0D-ADDE-B6F9A4BD3B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107d020cb152591f3a204c2b9a7a6ff140bb6a89","datavalue":{"value":{"entity-type":"item","numeric-id":4909354,"id":"Q4909354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df24bd991d6ade1f1180bb0a1ee9149d637a09ac","datavalue":{"value":{"amount":"+0.8976638","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":"Q2515336$04F782F7-04D0-459D-97D3-860C4CF3F90A","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":"7778d2ee98046b35f704026ea7156021bc21e682","datavalue":{"value":{"amount":"+0.88729215","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":"Q2515336$7D7CFF64-3680-4386-87D5-9A2CD88DF63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c50386c018d665a1d5b19780023365a1d10a98","datavalue":{"value":{"entity-type":"item","numeric-id":315307,"id":"Q315307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52b5d7c31f111969272eef41d2ae33e56a40bde","datavalue":{"value":{"amount":"+0.88462424","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":"Q2515336$076463AE-CD8D-4BE6-8A85-550E6334004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d424c600c0aff770102e687eeb5641ec3038e8c","datavalue":{"value":{"entity-type":"item","numeric-id":4633166,"id":"Q4633166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255081cd92f89c41334e3b96d356d114f4f5ba97","datavalue":{"value":{"amount":"+0.88219917","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":"Q2515336$14261E1D-367C-42AE-8519-5300047ED98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf02661fe118d8989543c5a3034033bf9fc8369","datavalue":{"value":{"entity-type":"item","numeric-id":4924446,"id":"Q4924446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74712561076a5c2b482ce51456611a38001f942e","datavalue":{"value":{"amount":"+0.8821907","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":"Q2515336$4238D0DC-1161-493C-BC25-29DB468F478F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2515336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2515336"}}}}}