{"entities":{"Q840067":{"pageid":841915,"ns":120,"title":"Item:Q840067","lastrevid":64732977,"modified":"2026-04-11T21:51:40Z","type":"item","id":"Q840067","labels":{"en":{"language":"en","value":"Modeling and verification of the SDL-specified communication protocols using high-level Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601825"}},"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":"Q840067$439880AA-5BFE-4997-A42F-9E72CCBAE756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83a489379df8356467b68fd2e8bbccdccc6d3501","datavalue":{"value":{"text":"Modeling and verification of the SDL-specified communication protocols using high-level Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840067$88009DCD-D04D-4982-BE58-524CFE35275B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53c2c522cf83ed936099870b5a2a241c8960e74e","datavalue":{"value":"1191.68444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840067$A3825431-C22E-49D6-A711-12D75634DEED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da3f9fb5f89a2f129a470ce58c7f4b34f0df0412","datavalue":{"value":"10.1134/S0361768808060042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840067$173B24A3-70B7-4F6D-82C7-7D6D40A6A17F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$1306A55A-40C4-418C-B0DC-1DFB6E05B86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5486a421dafec6f5676d47a4f6e2e6766fe01828","datavalue":{"value":{"entity-type":"item","numeric-id":840064,"id":"Q840064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$F4FE11FC-E6EC-4F3E-AEBC-EF87E4AC3828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdf5d782446e55a5e87e7c07a6c6cc18af1d6e43","datavalue":{"value":{"entity-type":"item","numeric-id":840065,"id":"Q840065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$47EB8C9C-A23C-4E7B-B3B4-FBB15E6029EB","rank":"normal"},{"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":"Q840067$F9EBC971-6187-423D-868B-990EDDB6205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5973ed8c81d5e91f5dd2b926b1152bdd9b49a39e","datavalue":{"value":{"entity-type":"item","numeric-id":840066,"id":"Q840066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$73744533-D0A5-42C5-B72D-17480A3EF326","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":"Q840067$7DAB74A6-992F-4F4F-8F82-D46B505CF306","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":"Q840067$1A917F3E-C494-4009-AF6A-06C4B0A6D914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840067$74AFD1FE-AE37-49F6-9FA6-4402AA99B02A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840067$FBF7D2CB-D0A6-4544-A2C3-6914F0762065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"609c21f3abc2596ada6f8dd3bcf1386a9cdf00e0","datavalue":{"value":"5601825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840067$F3413E81-970F-4701-B484-815495BBF148","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4936afee4fd56af7605ea5bd64858c4a3cbd467","datavalue":{"value":"hierarchical typed timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q840067$6CAAC06A-72DD-4986-A6CF-8E1A1946D34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e5c7503178064f485bf4c255338165b0563269","datavalue":{"value":"SDL protocol verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q840067$9EC32012-D438-4F22-880B-C2C36A28AA9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a987d68805e598217b64498a861f88f6be67a629","datavalue":{"value":{"entity-type":"item","numeric-id":14001,"id":"Q14001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$DA18D776-1DC4-433E-A64E-DFB325844121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32f6b67f636d3b4ff87f78d227dd0cfe2d2c4d39","datavalue":{"value":{"entity-type":"item","numeric-id":14500,"id":"Q14500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$258C4924-95E7-49DB-ACB2-3C46955A8358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fb99985c1975caa9f8b425367205b1e95bb70f1","datavalue":{"value":{"entity-type":"item","numeric-id":15790,"id":"Q15790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$E58E6B9A-60E0-4B95-82A9-4932CFF2BE17","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":"Q840067$29D35037-0C41-42CA-82DB-51D257719C29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$812F01B6-D099-413E-B0BD-1EFF5B207CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62853ecf76d3daafebab4b501d69ac9073b7b71b","datavalue":{"value":{"entity-type":"item","numeric-id":1865844,"id":"Q1865844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$BB4B2C06-BFC2-4164-9F84-1345E76BE021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409c7d79b654ebee802a988ea8f307267b2c9810","datavalue":{"value":{"entity-type":"item","numeric-id":4450987,"id":"Q4450987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$3F35D5A7-5B18-47CD-B105-F4145E8DA518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e09350230a19dbfc219c8fa27db54e72c3bca7","datavalue":{"value":{"entity-type":"item","numeric-id":5392159,"id":"Q5392159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$AE7EC927-4CF9-4E20-8EC7-0555CFBCF51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef228b9c61051e831d94b4fc87be79b9d9b5835","datavalue":{"value":{"entity-type":"item","numeric-id":4845505,"id":"Q4845505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$9FF292DA-EC9A-428E-9249-BC2AAF4D5FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3944c09d6dcf3ea99943c7e7d0b76573bd567c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5951251,"id":"Q5951251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840067$22B9859C-6036-4E9F-AA4A-664AE368E287","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":"6494fb9b5efdd55256bf8c5515fc5938fc7baca3","datavalue":{"value":{"amount":"+0.8366703391075134","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":"Q840067$F1BEA212-CCD0-4B87-8573-9CB6286B0293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b3eda6dd602cb419a2c1cdfa04f754a505e96f","datavalue":{"value":{"entity-type":"item","numeric-id":6487390,"id":"Q6487390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b6f06fac93f9acf3b438ca5458adb7036fd687","datavalue":{"value":{"amount":"+0.8158581256866455","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":"Q840067$CF7E4F1F-5D1A-4B20-9B83-D73CBA572A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7ead3b808bec853624a5d3e1aa9e70c937bf1","datavalue":{"value":{"entity-type":"item","numeric-id":4951009,"id":"Q4951009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58319b383159c95b2bd567be83da93fb42eebc81","datavalue":{"value":{"amount":"+0.8081160187721252","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":"Q840067$2C9E85BB-065E-487B-BC3D-39FCE82B975C","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":"18ff5a0e8a543cef25cc0ba1dfc0af4e98733a00","datavalue":{"value":{"amount":"+0.7921392917633057","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":"Q840067$1D522438-156A-41F2-9220-87E71E50EDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993bd27c2984201ac55b999df189272519f42c72","datavalue":{"value":{"entity-type":"item","numeric-id":2729079,"id":"Q2729079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3f365722ec017e25e161f5330c3a38c2a419f3","datavalue":{"value":{"amount":"+0.7879424691200256","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":"Q840067$B42D722A-C918-4D51-B046-C869779440EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verification of the SDL-specified communication protocols using high-level Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_verification_of_the_SDL-specified_communication_protocols_using_high-level_Petri_nets"}}}}}