{"entities":{"Q2566429":{"pageid":2577172,"ns":120,"title":"Item:Q2566429","lastrevid":48554641,"modified":"2026-01-05T05:10:07Z","type":"item","id":"Q2566429","labels":{"en":{"language":"en","value":"Application of Petri nets in verification of distributed systems represented in the Estelle language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207585"}},"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":"Q2566429$859438C5-E0DE-4A3E-9132-5F743C6A5AEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"653d6605556a4b232e565a2e322cb6d4c566f43a","datavalue":{"value":{"text":"Application of Petri nets in verification of distributed systems represented in the Estelle language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566429$D100DDBB-444B-4200-B49B-BE2B9F0B95E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0f18e4346f7ee57409a6760e019f0f38eb4d769","datavalue":{"value":"1137.68607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566429$239AFE57-7267-4675-B22F-723E9EFC230B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b54968311ec091237ebd834947a4b255aaaa75","datavalue":{"value":{"entity-type":"item","numeric-id":220096,"id":"Q220096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$8A9D6EF2-4165-463A-AD30-58949C7090F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e23de9fc28a8d140f74cb7ea42dab1e1711ef68","datavalue":{"value":{"entity-type":"item","numeric-id":2566428,"id":"Q2566428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$CFCB6149-B17B-468E-BE4A-2F0AA60A96F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afaccfb8b396b8de34dfd619bd18e876c85bd168","datavalue":{"value":{"entity-type":"item","numeric-id":220097,"id":"Q220097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$6E285047-67BC-489A-A5D2-E63B9CC37EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$A744FF4D-7458-4D2B-8512-C0A116263529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16b07dbb8dce7460e542761efd475e2a73d8da23","datavalue":{"value":{"entity-type":"item","numeric-id":174377,"id":"Q174377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$CE5E9DA3-717B-490E-B7C0-0F616DAF5C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54171b3fe07a0d19e4af8539cafacd487dd3da02","datavalue":{"value":{"entity-type":"item","numeric-id":220098,"id":"Q220098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$B085FEE8-C6A2-41FD-A11F-82A367C52320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a812a3313bc5e29ddeb3cc02d53af11f17a2be90","datavalue":{"value":{"entity-type":"item","numeric-id":220099,"id":"Q220099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$A589F000-75E6-4107-A5D2-DBF7EA766E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b8337ecd20db52b77da0eb51c12fc7052f15070","datavalue":{"value":{"entity-type":"item","numeric-id":459171,"id":"Q459171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$507BD5C8-148A-41D4-8DCB-F5EFCC9C2F19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566429$E7EDE360-1924-42C1-9B41-D6ECE0712788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e60fafc82f6b978989a6b7c1b74796d8a51c764","datavalue":{"value":{"time":"+2005-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566429$924722C5-5750-4139-8D11-5E4A67DFFC20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566429$17EE3B67-26C4-4EB7-A494-4A5AE993D194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"283dce641bf7a8ff4cfcd8c8d4c3f7484e864109","datavalue":{"value":"2207585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566429$526058B7-4F48-429E-A2EB-6AAE78E412FB","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":"Q2566429$706949BB-3450-4FFB-9C8F-DF634CFA5CE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fbc4fcf7721b9eb8b15843bd228d8e68258c31","datavalue":{"value":{"entity-type":"item","numeric-id":5951251,"id":"Q5951251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30de4d52cb504d1ca03681323a6fc4577c215d75","datavalue":{"value":{"amount":"+0.9104904532432556","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":"Q2566429$788C3191-13C5-4B0C-B657-D667761B0DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cf5b4f1370bbef6dd8a9ebb9909f26587cf1c6","datavalue":{"value":{"entity-type":"item","numeric-id":4517385,"id":"Q4517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316ecdc65b8ca0167b9ee93ed4a5fc91640b6176","datavalue":{"value":{"amount":"+0.8898387551307678","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":"Q2566429$973043EA-107C-4413-9679-664B6995A90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8989d4c483fc689e8dcf7bc3dd6adfb66821600d","datavalue":{"value":{"entity-type":"item","numeric-id":4853318,"id":"Q4853318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106f165213de242b6d6378c9bb427276ea0f3faa","datavalue":{"value":{"amount":"+0.8041427731513977","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":"Q2566429$643C3F7D-35E4-4B3C-8751-88A585A2C4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ac4ddbc676461b305fe51e054e29ba10caafb6","datavalue":{"value":{"entity-type":"item","numeric-id":3427180,"id":"Q3427180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807b0b496379947cccbd06017e794c0c2c7e70b2","datavalue":{"value":{"amount":"+0.7904207110404968","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":"Q2566429$706D7A2D-18A1-42F4-AE8A-CA1FBF364A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994073db5c57a2e3122fffae9fcee02584e6d3b2","datavalue":{"value":{"entity-type":"item","numeric-id":3790660,"id":"Q3790660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c17e18c6a6300806b23b9de27644766413be66a","datavalue":{"value":{"amount":"+0.7755381464958191","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":"Q2566429$770E20F1-2A10-4C44-9BAD-533D41ACFB44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566429"}}}}}