{"entities":{"Q5168522":{"pageid":7198094,"ns":120,"title":"Item:Q5168522","lastrevid":91464071,"modified":"2026-06-04T23:14:07Z","type":"item","id":"Q5168522","labels":{"en":{"language":"en","value":"Verification of reachability properties for time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313956"}},"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":"Q5168522$52C02254-B68D-40AC-B96D-70C46ABA05D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5b7bd7cc9444b88a48f58c532a645a1d5cc58ab","datavalue":{"value":{"text":"Verification of Reachability Properties for Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168522$63C0D545-4C31-44F3-AED5-8A2AB3848933","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09b257eab397a821647c7fce06dd861a52ae3ffb","datavalue":{"value":"1407.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168522$F1A5AAFA-8B36-4432-81BE-232EBB73C850","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a307cd7b3bf16753d69147f1f75150a98b715f18","datavalue":{"value":"10.1007/978-3-642-41036-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168522$6CF41E5A-819F-42B1-8429-D678BC002304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb113fd9a0c3df850e383c645074e0fac067ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2672456,"id":"Q2672456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168522$D022CF62-3A2C-4D93-8403-D429E6763F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08e51a42e30d149b99d3fb9d4a34c07cf75074e8","datavalue":{"value":{"entity-type":"item","numeric-id":5168521,"id":"Q5168521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168522$76F75D49-00FB-4AAE-9791-5CDDCF4CF592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168522$900D399B-B05C-4640-A64D-ADB106C8A720","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168522$C511EF71-AA05-4059-8140-D5969BF9C7FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168522$F33DD90D-43B1-4A44-ABC4-389D2C522978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168522$B8A870BA-E935-4D02-8E4F-3FC516DA61B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168522$2664F91B-24F6-4FA2-8C5A-70B803C24D6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95e995f9efbcd4e33bcd9e5c955e8f248b4be907","datavalue":{"value":"6313956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168522$1F2D25C5-4847-4EC5-A85F-8B32E1370084","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168522$70605026-0DED-4695-B745-0131900BECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77dcc521409a7ad02cd340c3fa4e2872e190e26e","datavalue":{"value":"reachability properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168522$10C8BF81-ED65-416E-9D9E-DC5AE8F88A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168522$0CE2EDC4-42AD-4F06-8B6D-85C6D43CA687","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":"Q5168522$813E89A0-99C5-4DE1-AF81-5494AA1F4A03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8660f2ff83712b5b38c8f6d668796c5bda8438d5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41036-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168522$0F24DFAC-CF06-4C27-8D43-96B8AEE68580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51f90c711c39132a8b008ea5b26805bb16e127c6","datavalue":{"value":"W135860055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168522$E90FF642-4AEB-46A4-9D23-A3D8BF0F1530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d994803be5797a1e4902b894599fe1dc72c83b","datavalue":{"value":{"entity-type":"item","numeric-id":5268455,"id":"Q5268455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca23bc4f9f158be73a8f309ef90e7fd7aa208783","datavalue":{"value":{"amount":"+0.8679372072219849","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":"Q5168522$A5C2AE27-EED4-4182-B150-EEE161C1D109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9559e89aee0fd5b57535f2497c5cd6d1d7d9e6c6","datavalue":{"value":{"entity-type":"item","numeric-id":539486,"id":"Q539486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246c92f6b5583e15cbba474584ff5bc399208809","datavalue":{"value":{"amount":"+0.8310393691062927","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":"Q5168522$73BD0CAB-F918-4054-ADBD-A81D5D73D355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1debb5ffccfda81929a6e97dfb5d56cf6d0498b","datavalue":{"value":{"entity-type":"item","numeric-id":3543303,"id":"Q3543303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e844351f4303ef24d46362fc169fd2ecb4ad84","datavalue":{"value":{"amount":"+0.8305627703666687","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":"Q5168522$5D892FC9-22F1-4095-9442-3011D5593AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b459dd84b2a01410de9b03f093455840a552f37","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc0f0c5708a764458e41928918bc94c21531655","datavalue":{"value":{"amount":"+0.8213092684745789","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":"Q5168522$91CDA207-C4E9-461A-B088-6AB8888205EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfbce49c0bdec2de3859d22f06d630f0050ef75","datavalue":{"value":{"amount":"+0.821211576461792","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":"Q5168522$3A182CCB-E420-4A27-BAC6-281351F2388E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of reachability properties for time Petri nets","badges":[]}}}}}