{"entities":{"Q5096394":{"pageid":7125970,"ns":120,"title":"Item:Q5096394","lastrevid":54382355,"modified":"2026-01-26T17:53:28Z","type":"item","id":"Q5096394","labels":{"en":{"language":"en","value":"Petri nets, traces, and local model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572219"}},"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":"Q5096394$69063766-63DF-49CF-BC77-580DA831624D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab567d572410f7c0fedc71a709c483247137630a","datavalue":{"value":{"text":"Petri nets, traces, and local model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096394$1E188345-51EA-4FB4-BBC7-1355ECF8F189","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef01fbdc1d2bdd36a313a6adcfc509c80fabc287","datavalue":{"value":"1496.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$9CC7EEC9-4DD3-464B-A814-D70704FFA5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f3cb49825e22f40c8f5e03d3bd84e13078482a3","datavalue":{"value":"10.1007/3-540-60043-4_62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$5CF29FD3-5B89-40F0-BB36-A4F03BC5333A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc341e5eb1fe6ec64d94de39ba9a90eed78abe8","datavalue":{"value":{"entity-type":"item","numeric-id":672457,"id":"Q672457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$F47B01BC-A2F7-4DA9-89CB-C1651CD73A31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$D54D6F0F-B81E-4C3B-9278-56A672AA7918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096394$439642F5-ADE7-4B18-9C91-B3995FB8A8F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$C144D311-D3DC-4B24-BB26-61BEA3BE43DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$73E3643B-F2DC-4F3E-AD04-9B5FA27BF39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$7D8D2949-916C-4A3B-82AD-6F56EB5E069F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3002121f774821ece8509158607bdc24e847174","datavalue":{"value":"7572219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$3A291F57-EF9F-4457-BC3A-D749354B7D49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e997e1583470b4146efacf39268b743dde13c6","datavalue":{"value":"fair progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096394$CEE25FC0-F1BC-4203-8A5E-1BC703B91ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f38bda9c1951e487f7b647bcb279b072c6235f39","datavalue":{"value":"labelled 1-safe nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096394$8117C1AD-2B0F-478D-8856-D34974A56E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8d933beb43d9fcde951b3a7cd456d05feabcac","datavalue":{"value":"local model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096394$4452FAF1-1252-490B-A1D3-8E88E499DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c712e3c8728165e4a7c47fa652e18a1f73bbed33","datavalue":{"value":"maximal traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096394$4E090485-F712-4F5A-86EC-4F81F7F416E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096394$290A6CD8-A35D-45A2-B8EA-4B3A1DA65692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02e229af8f7553c1adf1c9b854b52d48f822fe8","datavalue":{"value":"inevitability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096394$F6E61FF5-7D26-4505-8D12-C59051F3F4C2","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":"Q5096394$381DD58F-A56E-419F-98DF-4ADD2089E547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b158ffac4adf8fde3b5c7c8ae02e5a5796f7b6a","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_62","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096394$91810FA4-534A-4673-92F3-B429C243EF23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c76f4054133e786962b82cdf2002781ad1ed1275","datavalue":{"value":"W4237324797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096394$9AF2DCAB-1319-4862-8AA8-74B63BFF3015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7335b5e7604f829cb4b186bfd6b631769cac3d","datavalue":{"value":{"entity-type":"item","numeric-id":4268457,"id":"Q4268457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$51B8F1E2-EE45-40E4-A67C-E97AC975DC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$6A9D14B0-E532-4EE5-ABCB-73F83353C7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699022c74df426258c4e2734fb1589bc5c5970eb","datavalue":{"value":{"entity-type":"item","numeric-id":4630288,"id":"Q4630288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$6BC30AF9-1D7E-4843-BA14-DA5E547C8FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$7BDD8344-E7ED-47B9-A263-CD5D4BE38DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e77ccf428ca1b394ee0eb78a76560bc9b01d66c","datavalue":{"value":{"entity-type":"item","numeric-id":911318,"id":"Q911318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$6E8FEECB-2140-46A2-9647-E7FC4AE3378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$A952C274-7B15-4A1D-B5B8-B3499F2FE21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$1513B579-67B1-44F6-8758-57CFD5A66139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$1128E6CA-5436-46BA-9CE5-55C2C725AD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$61FD5C39-1B04-4310-B2A0-3648F16748D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8cce4b1da1cc2b201b3b068a5f0031c71e8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1122355,"id":"Q1122355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$4B6FB09B-34B6-43A7-8292-A40A1E17C70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f0776cd2bb279a937717661bfaf9e8326ea413","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$23F40588-A3EB-48AB-A761-9EF2F1679FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3831ed99dc596a0250261761568b92b9560f0cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4038718,"id":"Q4038718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$83C3DCBF-1638-4E2E-87DA-71BFC2B6D77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$F3EF9887-6400-4F00-9B57-686376D8DAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$3CF0DBDF-37CE-4699-A5F3-86881B5F4B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107215514768b76dfe702ef046922ebcc501e81","datavalue":{"value":{"entity-type":"item","numeric-id":1119395,"id":"Q1119395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$B847D0BF-7AD7-4DBC-87BE-2ED87069C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$49441F4F-8569-4720-BDEF-5BD7E9001934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096394$A9AE2D21-A155-4E8D-8786-1E8092CF95BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c63478ea1b486c9f130539eac2c76f382512ff4e","datavalue":{"value":{"entity-type":"item","numeric-id":1391100,"id":"Q1391100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fef50bdd4b5cd755a4c6f9aa4a5e6217f6db5e1","datavalue":{"value":{"amount":"+0.990877091884613","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":"Q5096394$053E676F-9D68-4F64-8633-238B21687FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde74a2ad27b8685176e19088dc11f59e85d25ae","datavalue":{"value":{"entity-type":"item","numeric-id":5431922,"id":"Q5431922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec79019aa034cb326bfffd9e758e08228e607743","datavalue":{"value":{"amount":"+0.7873420119285583","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":"Q5096394$EB9B9AFB-9C59-4BB8-938B-D56901F6CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634906c244b9634ae7e4e4b67e43a9b80c8fbb2","datavalue":{"value":{"entity-type":"item","numeric-id":5506374,"id":"Q5506374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3044d1782259cf6b04ac1a25d8538943b9f41f80","datavalue":{"value":{"amount":"+0.7857164740562439","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":"Q5096394$4F895E27-4485-4196-A7F2-B15E4639028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9080a9d552ceeffdf221bf522f2a4ab1d3869895","datavalue":{"value":{"entity-type":"item","numeric-id":5034222,"id":"Q5034222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3172648639a6654303c1f180882c4d22dab7b60f","datavalue":{"value":{"amount":"+0.7848836183547974","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":"Q5096394$88155EF8-393E-40F7-A51C-C8675F1BDA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de8462ef2335611147028370ac11aff8bf85d68","datavalue":{"value":{"amount":"+0.7743855118751526","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":"Q5096394$CC47EF82-B6AB-42C5-8115-DA358A6EEAB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096394","badges":[]}}}}}