{"entities":{"Q2828481":{"pageid":2839219,"ns":120,"title":"Item:Q2828481","lastrevid":52656731,"modified":"2026-01-23T05:07:16Z","type":"item","id":"Q2828481","labels":{"en":{"language":"en","value":"Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6643294"}},"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":"Q2828481$FB47D42C-F9FF-4433-9F7D-A5A0E0F5C48D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a6917ac4f979a240eccb481aaae0f0f1b10abcc","datavalue":{"value":"1347.93173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$24C78347-6F60-40B4-8BDD-23A14414EC85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d054310a7e1becf50e68857c1c24cef7508f","datavalue":{"value":{"entity-type":"item","numeric-id":440953,"id":"Q440953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$22664AE6-5907-4230-AD08-7588EDA701C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c29b167b00f0682cbbb3c19883b8ca684f8a604","datavalue":{"value":{"entity-type":"item","numeric-id":350992,"id":"Q350992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$9A9BC775-AC08-4349-ABD1-D23838921E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2f260557fadb08c11f12ba752dbfd185c17209","datavalue":{"value":{"entity-type":"item","numeric-id":2828480,"id":"Q2828480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$48FA3661-7F82-41BA-B4A8-5986A3ED4442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"792b68d43bde31dea8a6af7972a397b99faa26cd","datavalue":{"value":{"entity-type":"item","numeric-id":955730,"id":"Q955730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$7C8A4578-4C13-4AF8-9533-D3DD3C4DA55C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a339d38578f9ea3c4a810c6814ca082b0d20b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2789888,"id":"Q2789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$F8BEB7EA-E01A-4064-B603-15D69A8485A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574adb538516c2b7c4431a66143362574f3a0d0","datavalue":{"value":{"time":"+2016-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828481$7BC03DF9-F018-405B-8002-AB94AE1A15DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$8E2B6398-896F-4C75-9F44-B254C30E0ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$794B3AEF-7A4F-4F6B-BCA7-F426C7248465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$74344039-CE13-4A1B-8B8B-6E29B0EA1BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$CC6B4C47-F0C8-440B-8D19-AD1085311687","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"206cadef0a8c2f0bd8fd5bd9618c442d0c62e1a2","datavalue":{"value":"6643294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$49EE5235-E91E-4DFD-9E3D-BB4607100B37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828481$5587903E-7642-4E17-8145-A596B08DCB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828481$80415490-CC6B-43F9-93FE-15E7A5996224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61348a16f506232a3b261f14f908ee0e53bd9f14","datavalue":{"value":"non-deterministic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828481$8FDAC06D-ECF0-4C2E-959C-D590D53AFD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb3729277110a53b939fe21f93333d1173b46516","datavalue":{"value":"decentralized supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828481$FC980BC1-C1AD-4BFA-A626-999A4885EDF9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$33CF88A1-5CF2-4A58-82B7-2FD1258FD7BC","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":"Q2828481$EB09B1E4-55B5-484F-8B30-25FEC181E704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b53564a57c4a2de94d16310d03917b7a2294a5b","datavalue":{"value":"https://doi.org/10.1002/asjc.1253","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828481$FF2A56B7-69DD-4A5C-B142-78811A5669BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c366350be3d6f44c8a8ccfad6590b93bd17c730d","datavalue":{"value":"W2279979168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$85B19122-538B-45ED-BF36-CEF628077006","rank":"normal"}],"P223":[{"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":"Q2828481$722C9AD3-CF08-43C7-9EC7-32CE6D7E0A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfc666e31e12d2eab549e8d5f9c4c94aedb5e30","datavalue":{"value":{"entity-type":"item","numeric-id":4974135,"id":"Q4974135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$9CCCAC99-DE12-4EC7-B84B-4B5CE7F5B818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6217c9131720e96831d22219cc163807e3c36fbe","datavalue":{"value":{"entity-type":"item","numeric-id":710701,"id":"Q710701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$61C368CE-094B-492F-A5F6-C1034045D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04014f6930091bf17e51024cc42f3ef11a27bee2","datavalue":{"value":{"entity-type":"item","numeric-id":4974152,"id":"Q4974152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$AA226A5A-85A1-43A2-A00A-7520A1FF01D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$3EA93A7F-E5B4-46B7-A604-DCFECA6ABA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59765932a2bd0bcd019ba51aa0a82b2904333289","datavalue":{"value":{"entity-type":"item","numeric-id":1610350,"id":"Q1610350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$7D545284-C087-4E20-94C3-A2021D267A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$59E3DAEB-CF2A-430A-896F-7F8B68C8FD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$7CB0CC58-A21A-4E14-9348-34DFD54A6653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2004da873feaf2c2a6c854f4858a83eee7d733d","datavalue":{"value":{"entity-type":"item","numeric-id":1606119,"id":"Q1606119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$E0DFADB5-702C-4B71-95C7-EAA7B5231CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba466e8a1bdaef98518de15c9a43402d1858c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$473A9EA4-E890-406E-AF8F-9156A2CD4933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afbff0c360ac19d3f409d5ccdce4b88e755dc69","datavalue":{"value":{"entity-type":"item","numeric-id":534301,"id":"Q534301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$1CBA8C7C-5073-41A8-84AB-C84BE6FE5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba48e29a604ffb09651fee84c449688ec8f316a2","datavalue":{"value":{"entity-type":"item","numeric-id":816696,"id":"Q816696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$2E699A4C-0475-4DA0-A2DA-C570A371B71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d383d9f59192cefc4d4c3bcb4baf2e12563dca","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$C8F68800-8017-42EA-9F0C-0DF0E22B9150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d34ea0223ffd3a1d4f461b80b1cf20f7d9a3","datavalue":{"value":{"entity-type":"item","numeric-id":5398017,"id":"Q5398017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828481$2DDC34E9-1178-4EE8-B6DB-2EBD430913B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50453d4df7155c765a9bb043414cbe6bf03d4fb7","datavalue":{"value":"10.1002/ASJC.1253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828481$D1AA419B-434C-4600-90A8-C94D8A1A8638","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760590d6abc8d239a0196feb29ae86963b3b9460","datavalue":{"value":{"text":"Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828481$A071C10D-163D-4AC4-B452-CD26B08FE1FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaf5463544c9e1cb5fac226f07b860c7800ed91","datavalue":{"value":{"entity-type":"item","numeric-id":3194124,"id":"Q3194124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a85e4d29fbc9c6dfc06ca095bc750ad4ac0c78","datavalue":{"value":{"amount":"+0.8524507880210876","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":"Q2828481$8D9737D6-6F9A-4C76-A510-645C97EB33FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ba25a611b2ef163902678760662226649ebcd5","datavalue":{"value":{"entity-type":"item","numeric-id":463845,"id":"Q463845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba2425e2772e1a19e59a6fca094d8c01d97c64d","datavalue":{"value":{"amount":"+0.8384824991226196","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":"Q2828481$90E7111F-0179-473E-AF3B-1DE7AF766E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652c93e150bb487b7322b28c9d703daea06593b4","datavalue":{"value":{"entity-type":"item","numeric-id":534301,"id":"Q534301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8c7a8e08a08c8f9c723f68c837dbd6774ed544","datavalue":{"value":{"amount":"+0.83847576379776","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":"Q2828481$28C19145-B56A-48E6-9132-2192B13C4B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d333130ba54349f24f434e842015cc5f8a23aac","datavalue":{"value":{"entity-type":"item","numeric-id":6103006,"id":"Q6103006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b8b2c7016c8dd3fdb08fed4a8ba9be6e3c816b","datavalue":{"value":{"amount":"+0.8307658433914185","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":"Q2828481$A27F1617-C0FF-40BB-AD6B-34F274301C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c7ce1d801a0082efcd6fc91c2d028938919f7b","datavalue":{"value":{"entity-type":"item","numeric-id":869096,"id":"Q869096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9a6a584842627ce786aa7539a0478165c7004b","datavalue":{"value":{"amount":"+0.8257105946540833","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":"Q2828481$94649ED7-664B-484D-BC79-D1D3C4845290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828481"}}}}}