{"entities":{"Q3677157":{"pageid":5707063,"ns":120,"title":"Item:Q3677157","lastrevid":88884455,"modified":"2026-06-04T15:44:18Z","type":"item","id":"Q3677157","labels":{"en":{"language":"en","value":"Priority Networks of Communicating Finite State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898217"}},"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":"Q3677157$8405A3B5-F00C-4A2F-9A57-13AAFA655DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bcb76343cb231ea5243dc5aa99537eb0c41c0bf","datavalue":{"value":{"text":"Priority Networks of Communicating Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677157$A6652D35-8AA4-4315-8F0F-1107BFC3F215","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e2eb097a8f878d44c0a33cac66aaf6bdd834e06","datavalue":{"value":"0563.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677157$444778F2-52D8-49E8-BE80-EF72F94E2DB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bccec90cc847832849cd29ebe3a649875e60edb","datavalue":{"value":"10.1137/0214042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677157$B93C2DFC-3690-45B1-9FE3-E696BD586BC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0fbe9a2f35bfbb97131fdd4f5f88a8af0c602f0","datavalue":{"value":{"entity-type":"item","numeric-id":688713,"id":"Q688713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677157$DDF100E3-91F6-4531-9947-57BFD00C9F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54a8b527177245beaadca05f10fe7026f602d89b","datavalue":{"value":{"entity-type":"item","numeric-id":701150,"id":"Q701150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677157$299FB82C-5D95-440D-A6E0-47E653F8CFBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677157$77474853-F565-4720-B9CE-466A762A3B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3677157$DB8023F9-0916-49CE-BC85-38F6E37FDB16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677157$17C8C58E-8E28-4ED4-93FB-EB9E1FDD1BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"316db10301219fd0bb8231331ca2e6420c86d6ed","datavalue":{"value":"3898217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677157$A8AEBE81-D9AC-4729-95BE-F0F3113C2348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97ee88fcd259332a157a4d78e256d860ef09cec","datavalue":{"value":"bounded communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$03851A3A-2BE2-4D93-BFDC-7262430E63DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44f49057194ce8aa62e64fd49b74cd3dbf44084","datavalue":{"value":"communication progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$31F60C8C-E88D-4F07-B6CE-EE13989B59AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$B899E503-E142-46C3-B4A8-68078DE18BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$FDA85D9C-8C80-4D27-9E45-D36765802184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cc05bccfdd81cd938c0809ce06c418d2fb13db","datavalue":{"value":"message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$9B121A4F-50BD-474B-9282-B9216FD5341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c671f7b3a52a7c06102adb2b0a3cc08f942085","datavalue":{"value":"priority channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$D7978B54-68DD-45AD-BD93-D2E3DA4FF97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3564cfb2f1ef130c73c02739f2143815aa63770","datavalue":{"value":"priority systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$C78A0BEE-9D01-4883-A6EC-1E978C4EF9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f3393ee1bf5e04c83e196aa8891cae0cc3cb71","datavalue":{"value":"communicating finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$769B4D66-57A4-482E-9C75-6A7424408269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4539681af5ae684281205bdbfb59408910eaba","datavalue":{"value":"deadlock-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677157$F719D914-DF03-421D-8C0B-7C167D6F0023","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":"Q3677157$BDD147DF-E8B6-45F6-B06E-77BDC778FD4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6ff92c0f09c6d6c3e1e9731bb06332c29641d76","datavalue":{"value":"https://doi.org/10.1137/0214042","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677157$F862D984-4E3C-47F1-AA65-4DD381906CEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ef2cb7413cafaefb38755cefea7b4ff749d5457","datavalue":{"value":"W2004146071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677157$CA8C81A6-FAC4-44EB-B2CD-966FAA8699A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7295fcd5233cfdcf83fc78f131cbe89109e0c2","datavalue":{"value":{"entity-type":"item","numeric-id":3216146,"id":"Q3216146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37355122c0b65fe21153b0a7a9f6b4a049ada937","datavalue":{"value":{"amount":"+0.9846128821372986","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":"Q3677157$2FB68E69-80D5-4EFD-8C44-2D246A10A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a196d9c5f3bff794461cf0bbea2064fec39a530e","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6567b6621c93fe3b1257a2ece412e7d85d4100","datavalue":{"value":{"amount":"+0.8381353616714478","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":"Q3677157$1F30ECAD-6205-483D-9F61-710EF5AF887F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5276dde8f8346928878415d62eaebf168364a","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b618deb947988e634926e1ebc99505e6cd0f8d96","datavalue":{"value":{"amount":"+0.821277916431427","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":"Q3677157$69D9395A-5292-4347-B56B-C973005C1FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4349491242e40d0f2631481009db3469a38b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2735908,"id":"Q2735908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95acc9166672f47b7537c03e76fb6fad7a651ee9","datavalue":{"value":{"amount":"+0.8186736702919006","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":"Q3677157$B865BD9E-8D3A-497A-9C98-770FE0D8F3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a175933b53827985bf7432ac4ff761fc7cd0075","datavalue":{"value":{"entity-type":"item","numeric-id":3719838,"id":"Q3719838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1e5de7d484fbe0eb849c7d6ba85121588d79df","datavalue":{"value":{"amount":"+0.8151229023933411","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":"Q3677157$CE499FB3-35A7-46D5-AF4B-C18EAD035A81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priority Networks of Communicating Finite State Machines","badges":[]}}}}}