{"entities":{"Q6544792":{"pageid":14155946,"ns":120,"title":"Item:Q6544792","lastrevid":57192399,"modified":"2026-03-27T10:40:49Z","type":"item","id":"Q6544792","labels":{"en":{"language":"en","value":"Compositional non-blockingness verification of finite automata with prioritised events"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7854384"}},"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":"Q6544792$CDCDD6BE-7728-4CB3-8537-CC8277D42681","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94edabb1d2028b6bab20ec2516ab444a55f3f463","datavalue":{"value":{"text":"Compositional non-blockingness verification of finite automata with prioritised events","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544792$7D266438-C24B-4D90-8AB0-4E67DC745969","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"437de3801be2738b7d2bea9c89c117385e74705b","datavalue":{"value":"1537.93486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544792$008E7DB8-55B3-4D45-81DC-1E00E1A0C9A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6fe10f1686cab47bf000e01b1762a1e5023e2e","datavalue":{"value":{"entity-type":"item","numeric-id":3380679,"id":"Q3380679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$A5FEB49B-90A1-4449-8FD2-860380A98C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392ba870ee93db656604b2e42f487a3ed023c17c","datavalue":{"value":{"entity-type":"item","numeric-id":239120,"id":"Q239120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$59EA8C95-A3D6-43E2-A69B-427FF315E74B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$18F619C0-0D69-4645-BC6E-672DF46901C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544792$27A7EA10-7AB8-4101-85C0-27098B44A293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544792$A05A208F-F6EE-4F43-870F-CBF1964C960E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544792$A3A5A0EE-A8A6-42A9-880D-8287EF0859C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dce513e27178679e998387317027db0fbb44cfbf","datavalue":{"value":"7854384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544792$E01B4F08-5EBE-4023-8956-6B68150B5772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544792$2DAB7DC0-FF42-47AB-B242-AEEFFC43C507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544792$CEA40D5B-5C74-4740-A7A1-FF17D6617136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1404639683a76410e6e3eba5e97d368b52c9164","datavalue":{"value":"event priorities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544792$C9AD74D0-C051-4556-9738-5D6299E5B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75232cb76939534549d3e824c3d528a23d1c99dd","datavalue":{"value":"modular systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544792$B193A3D9-D9D0-42E2-9C93-C08A1F14C887","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":"Q6544792$1A148467-6C22-407D-8146-F8681B296CAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$7536F66A-1451-4003-A7D1-36403301410D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$451A3BC7-5C46-4665-95C6-6E9FCFC76568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7de647342d0f7bc746f85196675d8e0e2aaffbd","datavalue":{"value":{"entity-type":"item","numeric-id":2381506,"id":"Q2381506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$0C122B7E-ECD7-4C06-8A8E-06D00AD4C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814223f4bd4da30f448d5d1b2c41b51941fa97b6","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$21750599-9D09-45CA-8894-D2BEB0F908BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f9dee8f1a57cd4cb4b0e3d70333693e745d20","datavalue":{"value":{"entity-type":"item","numeric-id":816701,"id":"Q816701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$33A275FA-E5DF-4422-847D-C479475E8886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68922ec5bd3cdd128cab081e2375e55ca7711fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2197583,"id":"Q2197583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$B3847764-C2AA-470D-A8C3-07DF29F57E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19b08c7e808760bfb195bec77127d1f54f2d542","datavalue":{"value":{"entity-type":"item","numeric-id":5394182,"id":"Q5394182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$B1BC0B1C-60BD-48F3-9BD4-8F2309597076","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":"Q6544792$DCBB27B2-C86D-46ED-91BB-1E2A8A3ED8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5449e0a546d86fb50b85a8b7edc97a9e86b2976a","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$D573C422-92A7-4AB0-8B22-3DB632D7CD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$BAFC2BF6-DEA9-4004-971D-01E5FF57417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4366277a2fe4e97290661f51304ea6c2e2625","datavalue":{"value":{"entity-type":"item","numeric-id":976261,"id":"Q976261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$158DA698-DA4B-4348-91DF-32FB643C6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cdd08d26a561b954951e9e6c37d85fbd540b15","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$3C8F2588-FD9B-4C65-9AE3-B30034D89953","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e4d067aafdf655db511c7a44fb9ec3f1de0eeef","datavalue":{"value":"Q129350375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544792$83E0307E-E368-43C1-9D5A-C45C1CE6C5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"606dff10b95ec36d8270b826abfcedae926e3fbf","datavalue":{"value":"10.1007/S10626-024-00394-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544792$DDD26F51-FB41-42A4-AFE6-C4298601E0CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6162fd6992b1106acd53b8e130c7b0a5f8c0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd25fe082feab8c7fdd1d1183d543d66d209f27","datavalue":{"value":{"amount":"+0.8142725825309753","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":"Q6544792$F2AB651F-9023-4DDF-BB0C-2A57808EF6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f3fcf3ddd52feccb4ba9a43bd3b394c8d30caf","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4623ffa681a5a97bbec13f30baf924b66932c88e","datavalue":{"value":{"amount":"+0.8050349950790405","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":"Q6544792$A95A9A6F-AE0B-42FA-BFF4-42C9D9E28F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e972c052e22115b157b27f0544381743d683bac","datavalue":{"value":{"entity-type":"item","numeric-id":5168410,"id":"Q5168410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0a60097e1a6aadca048bfb4e51df50fb84adb9","datavalue":{"value":{"amount":"+0.7840750813484192","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":"Q6544792$7027BBAE-A733-49EA-A9CB-4D41D2A72EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6d79ba80c25301b43b7209a8ab9685f8355d45","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bfff404ec36d6f67c7ca02427c36b0d6a13d6d3","datavalue":{"value":{"amount":"+0.7815427780151367","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":"Q6544792$FC10652D-8FB8-428E-8351-E91D8A729C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c4a375a1e696676e904b87e8222c55f5cfacf6","datavalue":{"value":{"entity-type":"item","numeric-id":2058570,"id":"Q2058570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ac1adf0fafc0c510828ea00b86b9a734ade35a","datavalue":{"value":{"amount":"+0.7370147109031677","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":"Q6544792$E5053493-4A92-43CD-9D4B-8E6FE011E273","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544792$8165C0D7-93D2-4FAB-BADC-C8C6E5C4000D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544792"}}}}}