{"entities":{"Q5930822":{"pageid":8107624,"ns":120,"title":"Item:Q5930822","lastrevid":41595763,"modified":"2025-05-06T05:26:46Z","type":"item","id":"Q5930822","labels":{"en":{"language":"en","value":"A method for parametric verification of the behavior of time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592108"}},"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":"Q5930822$F93394EB-C272-492D-A6D0-028EDAC5D98C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a51b4eecf842fa1624ccc0b5449c102bb4e60ea0","datavalue":{"value":{"text":"A method for parametric verification of the behavior of time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930822$EA8E2D61-1F8D-481C-8294-404BA99AED4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcface6408015577b08412cb35e734cb5ab9dd22","datavalue":{"value":"0972.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930822$8A6AB998-BE89-4253-A04C-DBE0BABD61DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc197e2a386f082e9cad3ba00e1298812ad2a529","datavalue":{"value":{"entity-type":"item","numeric-id":174077,"id":"Q174077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930822$8B3D947F-3E10-4785-9025-1C17292344B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb2f1d82f0bd0dc3928db280167e2330dbc2eb88","datavalue":{"value":{"entity-type":"item","numeric-id":174078,"id":"Q174078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930822$97CEF2B9-969B-413D-85AE-E4123928972A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930822$D1E2B928-E9D8-4F64-A6AE-A0FDB898B108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfa6cba6260f9a6202ecedb776f440ed4a5fcda","datavalue":{"value":{"time":"+2001-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930822$F8A9A737-FE58-4317-91BF-22CD31F4CF75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930822$E021CF65-067F-4B22-AAB2-03EC57C59A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6b012b12030a8805d4a071c687fcfb4efdd8fc5","datavalue":{"value":"1592108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930822$C95093DB-23A8-4559-8D5B-6E6F4093C5F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae46fd5fb1b4a574481a4c82824c0bbd6e70bc6a","datavalue":{"value":"distributed real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930822$133E12DD-F2E9-44B6-84E9-8200F4E1B82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a082c176f84675075b48279267df59f342f6417","datavalue":{"value":"parametric time net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930822$4B379A4E-421E-4102-B8B4-EF62C1ED9598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242f76f7dc021da47d315f8ad697362482a1aeaf","datavalue":{"value":"parametric real-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930822$E4FC9386-6594-4271-BACD-8EA383BBF97A","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":"Q5930822$7CA0FFDE-E61D-4EBB-B8EA-05F1ACF8BB6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a1cac1d38d067f829ce99755b8b85e55c1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5168522,"id":"Q5168522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200aa0a029c8444691cfd50cb19f7f0d83b2d900","datavalue":{"value":{"amount":"+0.9354397","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":"Q5930822$DB6A1D0C-4956-4D29-8BD6-2C42DFD01395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0398bb42b3568d2f454a8583b5ba66446c6b8b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4934360,"id":"Q4934360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01cb1e491e9640ddf86c2e662caefe8f5e57e74","datavalue":{"value":{"amount":"+0.93267745","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":"Q5930822$057DC42C-AB49-4BDD-88A1-F78AD50B885D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9919c22b68871cf869a65e85f57cf181d26aadeb","datavalue":{"value":{"entity-type":"item","numeric-id":5930930,"id":"Q5930930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f494b2e4abb149ced873abb125c999f9ef515f","datavalue":{"value":{"amount":"+0.9263803","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":"Q5930822$77A9007B-0B11-4710-8D3C-4E380794A108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4d5eb5d654679ab864f5857887e8412bf7154f","datavalue":{"value":{"entity-type":"item","numeric-id":3075507,"id":"Q3075507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19e82876075344445275c9b0b04b635c79e6e5d","datavalue":{"value":{"amount":"+0.9257748","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":"Q5930822$710570B6-B676-4F49-851E-61762DC2746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638687c0b801466307382c9da56f9a1a3fe2bf8e","datavalue":{"value":{"entity-type":"item","numeric-id":4517373,"id":"Q4517373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21ae68ceac110e04b6f7c88ed1b89b24bb9e235","datavalue":{"value":{"amount":"+0.9219328","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":"Q5930822$DBB86460-DA34-46F2-BEE0-F1DC448BAAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15089ec103eccef3c4ad29b868ff1f8902029b3","datavalue":{"value":{"entity-type":"item","numeric-id":5934289,"id":"Q5934289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6ded11b97d5589434c897a7945d947b9351bc9","datavalue":{"value":{"amount":"+0.9171578","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":"Q5930822$D522B14B-6B23-4EF6-8031-AE462B777B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226b8b402f924f2616c87c5c587544a34757efca","datavalue":{"value":{"entity-type":"item","numeric-id":5503431,"id":"Q5503431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385e6ecec4434d557335ea48c74317be30821583","datavalue":{"value":{"amount":"+0.9162324","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":"Q5930822$4E322A98-0120-4BD0-BCB1-30B4B03EDC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33620ac50fe46dfed038c765f4f59c28e8967748","datavalue":{"value":{"entity-type":"item","numeric-id":2493434,"id":"Q2493434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c0d0ce656ad7b7f21d8d2ca78f4dc72127682d","datavalue":{"value":{"amount":"+0.9147104","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":"Q5930822$DA05827F-0197-4AC7-8DD9-DFD2605ABB57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930822"}}}}}