{"entities":{"Q5930930":{"pageid":8107732,"ns":120,"title":"Item:Q5930930","lastrevid":47605873,"modified":"2026-01-02T05:05:53Z","type":"item","id":"Q5930930","labels":{"en":{"language":"en","value":"The use of partial-order technique for verification of time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592217"}},"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":"Q5930930$05A24BC7-13CD-4752-8D7F-03A02D8BEF47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"059047a13f9b68b1ac1784bf9434d936797e52cc","datavalue":{"value":{"text":"The use of partial-order technique for verification of time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930930$0FDA0CF5-02CA-4EE2-B107-76B7CBAC06A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5f55278204294e8097752a95164899373f2d25a","datavalue":{"value":"0974.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930930$EFF9B9A3-688A-4BA9-B299-8345B01FC75B","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":"Q5930930$42E303A2-20ED-4E01-8CF3-204A49BAAFCD","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":"Q5930930$D77109E3-343A-4FD5-968D-086FB7B8286C","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":"Q5930930$2B52938D-8ADE-426D-AF20-391152619CF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a780d61a62af0991bc6e88cb070a7586b6b04fc3","datavalue":{"value":{"time":"+2001-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930930$C8A88154-A47D-409D-AEDB-48A7D5813FFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930930$83965E6C-2071-43AE-80AD-14B3FE3D3C00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5397fce15aaf28226e0fc7a2bbfe1f12661a4615","datavalue":{"value":"1592217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930930$A06C5C5A-8460-478E-92A9-F17ECA51929C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930930$BEE5BD17-0578-43FD-A2EB-4F6D6FC603F5","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":"Q5930930$702C32FD-5746-4840-B719-C536906DE4B5","rank":"normal"}],"P1643":[{"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":"4bb27c497b4b13aab4f9a1c255bc2336c32631cf","datavalue":{"value":{"amount":"+0.910808801651001","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":"Q5930930$26CC493C-C819-45DE-8725-C1FE7243975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf4f5f5ea625b7c8282006bc5cf9d9d7908d04d","datavalue":{"value":{"entity-type":"item","numeric-id":4535185,"id":"Q4535185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cee8e4e21480e76280ec549dd267368bf96b1d4","datavalue":{"value":{"amount":"+0.8352695107460022","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":"Q5930930$3B8488F7-4AC6-45A6-9BCB-57B00820E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456789dc91724296f717eea8bafdfdf072bc028b","datavalue":{"value":{"entity-type":"item","numeric-id":5930822,"id":"Q5930822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39c6d0182e1c49a0e32b5c24dadafe0724239e7","datavalue":{"value":{"amount":"+0.8341829776763916","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":"Q5930930$A5D3630F-E93B-4BB1-9851-556F2BBDDB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fe99a1e450c5cc5d441a8a8b559566f72bf946","datavalue":{"value":{"entity-type":"item","numeric-id":4270060,"id":"Q4270060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df04ab80d7fac37632979b415cebbc88ebcc536","datavalue":{"value":{"amount":"+0.8296146988868713","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":"Q5930930$8FC836F9-167C-4587-9823-A729BB304A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b97feaafae90055a64b6fd343b80dc9061a559","datavalue":{"value":{"entity-type":"item","numeric-id":5500554,"id":"Q5500554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec168073f52a5499c9c4d5186a9ad5a5b40f373","datavalue":{"value":{"amount":"+0.8274126052856445","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":"Q5930930$39394E4F-0063-4082-A150-BDDDF3EC50E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930930"}}}}}