{"entities":{"Q1650866":{"pageid":1661607,"ns":120,"title":"Item:Q1650866","lastrevid":74076825,"modified":"2026-04-14T18:16:45Z","type":"item","id":"Q1650866","labels":{"en":{"language":"en","value":"Automated verification of automata communicating via FIFO and bag buffers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6903793"}},"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":"Q1650866$C60D4313-2502-460F-B943-8B126E68FF7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35842511ac8406e5ef5ebe39c4e8729dd6fe402e","datavalue":{"value":{"text":"Automated verification of automata communicating via FIFO and bag buffers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1650866$EF834F50-5BFC-4730-BA2D-9C4D9D021EDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5dbfbb70dab454a54af20d55630751a7e1be6bd","datavalue":{"value":"1392.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650866$0CCD7A53-427E-43EE-B776-6E8FDEBD5E13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16a7168a826d5a50171fac1e8f70b6eef2432ab7","datavalue":{"value":{"entity-type":"item","numeric-id":1650865,"id":"Q1650865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$C0FF5E20-33E2-422D-9316-E03C2A5A74EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$A84885EB-1497-4B32-823A-A91A0A5AA3A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$ADAD0C23-D2C4-4196-91A4-E1A69BE19119","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05ab478c1b3d983a6bbb2903fa84c4982a8bb3dd","datavalue":{"value":{"time":"+2018-07-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":"Q1650866$CED9F3A2-3257-43E2-A413-94CC52E156F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a9326b055f4e6c051534425ce192ce7eda32ca2","datavalue":{"value":"https://hal.inria.fr/hal-01898159/file/main-fmsd.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1650866$103C5CBA-87ED-4C7F-9925-45A52FFA4D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650866$A9FE0CDB-99A3-4B5B-B641-64F88BE9D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650866$614BEC69-61A2-4A9C-A838-25B8605BD042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4873d88796e869be181f880208bce44c1b083486","datavalue":{"value":"6903793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650866$19DA183F-15AC-4198-9B35-E31FD86B0E41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650866$440122D3-A1B3-41BC-A247-6CB9E90BEF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27856c0da695a322e7afa82ea131a6e7281e06ff","datavalue":{"value":"asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650866$31E1C7E5-CEDB-4FD6-AEA2-6D8CAE4F2A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650866$F5163D99-E683-4301-9BC0-DD030247639D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$8D59A32F-E104-441F-923E-4D5F2596DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86c5760bd620e2915a66d9077b4ed2ef38f56dbf","datavalue":{"value":{"entity-type":"item","numeric-id":13766,"id":"Q13766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$2BF59182-BD31-4156-8409-8EB6327F9011","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":"Q1650866$DFBE2CBB-7ADA-45F7-9C31-E915B0AD49D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83902c5f32b89ea632e940049e2c4274dcb68e16","datavalue":{"value":"W2694591513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650866$B3428AD6-0998-4359-828B-DCCFE6381B6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$F687ECDA-5BC9-4621-9660-C99F9D7CCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797ece42282813f0fa89a3ab079f140f2ea0813","datavalue":{"value":{"entity-type":"item","numeric-id":2814621,"id":"Q2814621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$1627960E-F42C-4621-84F5-31F835AF84FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94c9d6d07649b187daa75e18e079f47f36cd630","datavalue":{"value":{"entity-type":"item","numeric-id":347361,"id":"Q347361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$BD6395E3-EC8E-40F0-9ECC-C1BBFC1E4AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec63c68b6639e683e50024724143934f1d7b725","datavalue":{"value":{"entity-type":"item","numeric-id":3507382,"id":"Q3507382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$007921F1-83E0-4917-9F8A-1A65781F4240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbb5fc0f424362cd91e219da1f268b5db43f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2573635,"id":"Q2573635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$150997CD-3811-43A4-8AEC-01E918463BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7a158730f6e02e9f55102d6d5a2fcea6d7b6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3190124,"id":"Q3190124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$899CE02B-6057-40B4-86D0-160BFD6903A0","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":"Q1650866$63104877-5723-440D-A385-E555FD78137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$1FB6CA2C-1104-485A-B4D7-19BF03421E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$AFCAF62A-98E2-47CA-9562-0BB5FECECF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8795567736b282508a429ed713f0cc5b3f2a804a","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$9BECB25D-EB59-46F2-8C5F-17060D19E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3308ffe15792f41e5380c37fbb986000de73f6","datavalue":{"value":{"entity-type":"item","numeric-id":1269916,"id":"Q1269916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$B9680814-31F8-4B34-AB3E-3C3FBCD4CEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$4A2FC1F2-E2AC-4801-8032-F1BC871D5C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6c4f58f0ba4d30c576c1cecd76e1d83cedb04c","datavalue":{"value":{"entity-type":"item","numeric-id":685434,"id":"Q685434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$D2F45289-09AB-478B-8BEA-BADBB9E4FF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716af7fdce8b7d6c157e2506dae47f039fde5c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5308378,"id":"Q5308378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$6E5C4A9C-FF47-4696-B618-DFCA885FFCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$7E6297D0-FCBA-45DB-9AD9-5F6C9C87257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9089a03a77f982e57f3ea3d61d3b306a8ed76079","datavalue":{"value":{"entity-type":"item","numeric-id":703491,"id":"Q703491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$EA091D42-7711-4390-AFB8-945CAD5E0E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec39ea599cc55360badb4291e2e6f497e22d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4649300,"id":"Q4649300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$2F5972AE-512C-49AB-B377-334407B514BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a52462c89468ab4d36ffb30fe30f301b89e45","datavalue":{"value":{"entity-type":"item","numeric-id":5428909,"id":"Q5428909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$041F4158-6AAC-4D36-B57D-9C093A7C137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaccb076275ae8f5027fd98b6eb5332c3c5e9193","datavalue":{"value":{"entity-type":"item","numeric-id":541291,"id":"Q541291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$4B7D1C23-F143-4C49-B441-69D7B5AA03A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0359303f542d3a6625160082a639b43abfeb7b69","datavalue":{"value":{"entity-type":"item","numeric-id":3719838,"id":"Q3719838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$FCF8189B-AECD-40D3-8843-F137EFF96EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1fa2a8ed3d2cfd6123630a8d878f8be8b86","datavalue":{"value":{"entity-type":"item","numeric-id":2495403,"id":"Q2495403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$1A09CFE7-46B1-4DA4-9A94-928DC46A6FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d060a70d2e8d137fbe4bf475fa81c35412214c","datavalue":{"value":{"entity-type":"item","numeric-id":1959479,"id":"Q1959479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$5EE8F0DB-7139-4E74-8C07-5C90790DCBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0167dcff6eba422b1bede60b9ec156d19a634b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3584941,"id":"Q3584941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$30426782-4DB9-4213-9416-5798A1A285BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35346f6e23d394375f4e615cf4ea9adf45ebb140","datavalue":{"value":{"entity-type":"item","numeric-id":2894290,"id":"Q2894290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650866$5740D6EC-4A9A-46EA-BF91-45077666F656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21316d2ee035b0c6c242a1c1004b14d539769ee0","datavalue":{"value":"10.1007/S10703-017-0285-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650866$3424476D-09AE-45B1-98BD-A6295ADDBE2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9ca715796e6471a8ff844849cf8b432045041","datavalue":{"value":{"entity-type":"item","numeric-id":2814621,"id":"Q2814621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c7541401a849f736bdae55c86e29fc191a715c","datavalue":{"value":{"amount":"+0.7958319783210754","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":"Q1650866$CC50AD29-37C5-47A5-B86A-DAEE9BD20C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e08bfa16e21c5982c5c915e20c9e30cf5be460","datavalue":{"value":{"entity-type":"item","numeric-id":344799,"id":"Q344799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ba18cbd84745c433797f548d991d9e77772d38","datavalue":{"value":{"amount":"+0.744593620300293","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":"Q1650866$95B79CCC-3C45-4997-8D52-FD452181828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f29e69f4b10a17702e694be597d0e140aa964b5","datavalue":{"value":{"entity-type":"item","numeric-id":3447694,"id":"Q3447694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c0a80c23808cf9402c9c1da3c3d4e28dec317a","datavalue":{"value":{"amount":"+0.7210351824760437","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":"Q1650866$BC68141C-041E-424B-9724-31A61C3CD958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a01f5771d73134e53c2b0325ff9dceff2e363c5","datavalue":{"value":{"entity-type":"item","numeric-id":2891401,"id":"Q2891401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241f7fa15a8ecb72ff16f36c02f4707eb896298a","datavalue":{"value":{"amount":"+0.715955376625061","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":"Q1650866$11EC9810-A5EB-4CFD-A120-4815B2D742F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ac0d39f8c880fd391e168e460b72e1bd8fe15d","datavalue":{"value":{"entity-type":"item","numeric-id":1819939,"id":"Q1819939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bdface73b06dd6463febc947bcf84dd882acaa","datavalue":{"value":{"amount":"+0.7153405547142029","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":"Q1650866$7C5BBB26-9BD1-46BE-BAF2-AD2EF31A0CDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of automata communicating via FIFO and bag buffers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_automata_communicating_via_FIFO_and_bag_buffers"}}}}}