{"entities":{"Q5951251":{"pageid":8128053,"ns":120,"title":"Item:Q5951251","lastrevid":47717833,"modified":"2026-01-02T12:42:36Z","type":"item","id":"Q5951251","labels":{"en":{"language":"en","value":"Verification of Estelle-specified communication protocols using high-level Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1685347"}},"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":"Q5951251$6D1481F0-9E32-4795-9313-E9C5D983964C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73a91fb34822cb0aeb5c1604302a22fa027972b3","datavalue":{"value":{"text":"Verification of Estelle-specified communication protocols using high-level Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951251$A1B8DBC3-9B8F-4F28-94A8-5DB0453CF746","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e047444556b4b6e66884f614991d4085020978","datavalue":{"value":"0991.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951251$7CF075A4-846F-4A10-9AD1-CCC320B6D69A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6c56b1743652f29f2ca11d563c373ffb2a1a0f","datavalue":{"value":"10.1023/A:1011094609718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951251$626F513E-BF05-438F-AA5D-28B37D23FAD2","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":"Q5951251$B32EE1FB-A15E-4854-874F-04A5518D6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaf357455d0798eb181b6687d6bcdc7b813b9339","datavalue":{"value":{"entity-type":"item","numeric-id":220095,"id":"Q220095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951251$D1370CC1-668A-40FB-8193-0C0BCD9D9909","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":"Q5951251$88CC9C0B-F97B-4F93-A42D-7098E7688AA0","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":"Q5951251$3B590381-2194-44E9-AD4A-DE6DFE51616B","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":"Q5951251$F17F7EB1-7AC7-47F8-A83F-31F175AA290C","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":"Q5951251$F452A50D-6FF8-4FAD-816E-63A2C62728BC","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":"Q5951251$A0D38BD0-4AD3-4229-9FD2-5C69AE0C5457","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":"Q5951251$EF37EE41-E8E6-4DA3-BE65-2CEA471E3A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"890ebd6ddbe8e2f82e67fff4e24409c374b5811d","datavalue":{"value":{"time":"+2002-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951251$AC9F608E-0D33-4825-849B-6D7E1658E694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951251$BE68050B-4D0F-45F6-85A4-A802162D4271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951251$8BEF00A2-10A9-41B4-B367-D6FA3DCD9E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76a1383bbc90d96c9b6200a44f49e9042e04cc73","datavalue":{"value":"1685347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951251$6DDD3848-1E92-4019-8E4E-2F8F72F36245","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61bdb404bb2b21fd3cd8378aa7a866e15357e1b6","datavalue":{"value":"hierarchical typed time nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951251$B4ED6AEB-7A96-49AE-87A5-CF3921D3F7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"221009085bf10effbc891e8b22a177826e9b2152","datavalue":{"value":"Estelle specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951251$8CBED8F3-90E7-4D23-8CA9-AFD192ADC673","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":"Q5951251$C2F94A7A-B96B-47D0-8B40-A11F8D0086BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a032ada8f569363988cb187f09853e47669202b5","datavalue":{"value":{"entity-type":"item","numeric-id":2566429,"id":"Q2566429"},"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":"Q5951251$C7812DA0-4207-438B-BDDA-EA2F826B1EB8","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":"fab9986f015049bf46439fd88d00d2730bac95b4","datavalue":{"value":{"amount":"+0.8651835322380066","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":"Q5951251$7847D94C-61C4-4F85-A1F2-E226CDBAE45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a525f78eaf2cee5a861e6816b7dd7651722273","datavalue":{"value":{"entity-type":"item","numeric-id":840067,"id":"Q840067"},"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":"Q5951251$6B2C4637-89E3-4CBC-85A4-09E2C2B5F1F4","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":"a55ce8e39aa570afe169773f72fb1cebe4c3b143","datavalue":{"value":{"amount":"+0.7654791474342346","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":"Q5951251$BB946A7D-44F7-4ED0-B1D7-EBAE33C53F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1aa0dfc6220dab4ec63596f2eaa2e13529be64","datavalue":{"value":{"entity-type":"item","numeric-id":4208578,"id":"Q4208578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6597653629f536a1a27f4ce5f9de08443412c7b","datavalue":{"value":{"amount":"+0.7641898989677429","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":"Q5951251$15EC572D-0D9A-41E3-83EF-E7BF0ACAF3B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951251"}}}}}