{"entities":{"Q4929342":{"pageid":6958924,"ns":120,"title":"Item:Q4929342","lastrevid":51088421,"modified":"2026-01-16T14:48:44Z","type":"item","id":"Q4929342","labels":{"en":{"language":"en","value":"Parametric model-checking of stopwatch Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5790239"}},"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":"Q4929342$641A3794-6111-42ED-80A5-014464A0E693","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b97c02f1232022d450211eede5d7f0d95acfc173","datavalue":{"value":"1217.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929342$C6B97EAD-28AA-457D-BAAC-6EE1D3215CB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcd4b26fd536e6aa8f09ce8ab65a6210fabcecfe","datavalue":{"value":{"entity-type":"item","numeric-id":386616,"id":"Q386616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929342$138030C4-15EB-4F45-B7B6-AB8BAA18890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929342$5CDE35F4-D4E2-4E03-A02B-AF27664F7117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929342$AC52A4C9-4117-40EC-8733-0A5C27623219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b2904eff86426f95e88b9dd8d319f8bbec23558","datavalue":{"value":{"time":"+2010-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4929342$B754F740-45BF-4BC8-A2D6-79269F862D40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25e59304cb293973ca3b991b0fca2674eabd5679","datavalue":{"value":"http://www.jucs.org/jucs_15_17/parametric_model_checking_of","type":"string"},"datatype":"url"},"type":"statement","id":"Q4929342$F4BAB0D8-AE50-46FB-97DC-F3C53644360E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929342$C77BE842-A769-400A-8BC1-B92D4B4C2B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929342$0FEF1913-1904-4FD4-ABC2-9D5E82E52346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bce91cf2fd3766763089983b042f70f8e7bdcb9","datavalue":{"value":"5790239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929342$D1D189AC-6000-4F7A-9A7E-7F0791EBFE57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929342$668F98DB-0EB7-4E9F-9158-06131ED06F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929342$B23BA9B0-8044-474A-855C-6F1AC87F948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b78f8277a3b43226e6a09e265d082ab9c8513","datavalue":{"value":"state-class graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929342$51B4A442-C0D4-43BE-B8E4-3F95241C34FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895286b88f96c8b55992cd83244eb8ac6aff1acb","datavalue":{"value":"stopwatches","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929342$D3E6665F-C43B-4123-8712-454FA28EC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929342$900E36DA-7A94-4D2E-8C02-27F55C2765A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929342$A93614F9-9E99-4AE5-8EB7-4814D2826ECF","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":"Q4929342$D9AD6DFE-93A2-447C-B3A1-A84E94A8EBBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc27efba9e4ae6f11f56dd57703847a72c76a3af","datavalue":{"value":{"entity-type":"item","numeric-id":3543304,"id":"Q3543304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ac941e1f85e669d90c9e536ed7d101b85aa169","datavalue":{"value":{"amount":"+0.9345736503601074","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":"Q4929342$A9F850D3-FEFA-48EA-85A9-ACF284C0B44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f73eb5f4b5f9de5f0213efb65d5e3eb01910f2","datavalue":{"value":{"entity-type":"item","numeric-id":5025060,"id":"Q5025060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ac64ff3edbe3d265f2b895bbf8ef491838d8e2","datavalue":{"value":{"amount":"+0.8249360918998718","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":"Q4929342$A5248FE9-F2BF-4B26-B290-9D2B8F191196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8d67b1ae796dcf7e8499014df0471921d512a","datavalue":{"value":{"entity-type":"item","numeric-id":4931299,"id":"Q4931299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742d12dcb03a6196c9aae2c907ffdb9aa9e234dc","datavalue":{"value":{"amount":"+0.8233499526977539","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":"Q4929342$E22AEE2D-565F-4C77-AA14-54CD2AD83B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d58862011788cbc7ae7e612207ceadcdaef80d","datavalue":{"value":{"entity-type":"item","numeric-id":3081898,"id":"Q3081898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a562a5a2e9f9ff676d8b572c1b73cb4d72fb0e05","datavalue":{"value":{"amount":"+0.8197057843208313","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":"Q4929342$005E3401-A4E3-497C-8A59-45DCB82CDB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8542fc8b61bf5cc78caab83922693ec86ed19a08","datavalue":{"value":{"entity-type":"item","numeric-id":2979817,"id":"Q2979817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e1978fe18c7122090ce9edf323db7d92c06cad","datavalue":{"value":{"amount":"+0.8153417706489563","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":"Q4929342$2A86D473-D2EE-4A96-AB47-70E145596839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4929342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4929342"}}}}}