{"entities":{"Q3081898":{"pageid":3092613,"ns":120,"title":"Item:Q3081898","lastrevid":51203522,"modified":"2026-01-17T05:41:18Z","type":"item","id":"Q3081898","labels":{"en":{"language":"en","value":"Bounded parametric verification for distributed time Petri nets with discrete-time semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5863258"}},"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":"Q3081898$0AEFB07F-A908-489C-AB19-511BA7B446C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f4fe9f58dc4482b5a5e4ab4b4aa7a2fb0cca83","datavalue":{"value":"1213.68404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081898$995D0176-69A4-4941-A007-1FAD3CA269AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a87c35b3f111dd1538f147e50b4797e7ffffc04e","datavalue":{"value":"10.3233/FI-2010-272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081898$0735970A-9859-4190-A103-6038494F7FCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"942e6351fcb9630a548540fc6661344716fbfd3b","datavalue":{"value":{"entity-type":"item","numeric-id":2032912,"id":"Q2032912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081898$D1C3DABE-FB2B-4946-9EE0-35E456160E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081898$C4FE18CB-867A-4ABF-8E6D-B820D433C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081898$284BDDD5-3499-430B-A11C-0C42EDDC211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081898$EACED51A-4EAD-4C75-A1B8-F22C2ECDFBC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081898$EB89FBD5-9901-4D37-A2B9-BA7B92F3C82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081898$565FB7C8-D9B7-4CDC-B8F4-1D38C222E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081898$6F9DF35D-C033-45E7-A1DD-D63B84D608E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d2c78f1d8d2c7dd2c1f936974338a8c1929d8e6","datavalue":{"value":"5863258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081898$8EB2D572-1FAA-46F7-88CE-D8376A417B3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081898$DCCD8C5D-931A-48EC-9421-DB3686BC2DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081898$FAD89CE0-45CE-418F-A4A8-EADA496E2A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081898$9EB99A9E-308B-46E7-AD11-328305B18641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3b335c16cba228bbc6d120b155a31f898f702d","datavalue":{"value":"PRTECTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081898$9AA4DCE0-5B4A-4B7C-A8BF-6D6D25D05910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b92677120a4ea9d325117e584ef652ad8b77f2","datavalue":{"value":"computation tree logic (CTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081898$9C1E6770-4A91-44A2-82E5-A3D5EC70FB2E","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":"Q3081898$DEC42F54-C486-4687-9751-003BEB1B9DDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddd81f46a2fe4055a1ee4a87a4a19e634a6d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3066134,"id":"Q3066134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f3b2c8582d32defff7656eeb38b4166ec533d2","datavalue":{"value":{"amount":"+0.8732472658157349","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":"Q3081898$34AD2900-8B2C-401E-9017-3A969A41AB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a09d1b13be3e67d230b828e006bf1a305773096","datavalue":{"value":{"entity-type":"item","numeric-id":3066133,"id":"Q3066133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cd356e8b76fec056de326b1faa9717bb274fa7","datavalue":{"value":{"amount":"+0.8697199821472168","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":"Q3081898$71B71A2D-929C-42E5-B948-85E82685FB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae29b6fc9eb749e699a77fd34088b3c7e3fa3ae","datavalue":{"value":{"amount":"+0.8495952486991882","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":"Q3081898$ACF3319F-158F-4FB4-9644-5FF25CAB0B49","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":"6962bd0564b0975c83b4fc34e461886b9b2ecd89","datavalue":{"value":{"amount":"+0.8432014584541321","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":"Q3081898$17B6933D-4D68-4911-99BB-0885A94FD7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989dacadda237f9c21f4d4d53cbc3c7abb889b29","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"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":"Q3081898$A8E256D0-3D69-479F-A1F5-0AA52A6059AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081898"}}}}}