{"entities":{"Q3427785":{"pageid":3438488,"ns":120,"title":"Item:Q3427785","lastrevid":88288220,"modified":"2026-06-04T14:08:14Z","type":"item","id":"Q3427785","labels":{"en":{"language":"en","value":"The Verification and Control of Interacting Similar Discrete-Event Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5136688"}},"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":"Q3427785$0DA24F96-48F3-49BF-9517-CCB2596AA0BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20fa40ca4ada70a7a88b9e2d8ed6e3e6a2bab31e","datavalue":{"value":{"text":"The Verification and Control of Interacting Similar Discrete-Event Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3427785$23F5DBEF-AFFD-46B3-B92D-A41CB2763260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1f139a120f712b114e1f77849c44f62a1546fa","datavalue":{"value":"1109.93032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427785$57B09D7A-B821-4148-8F70-BB5DDC1AB9F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4c5acea339f701ace3814a5ba874d65a9f71232","datavalue":{"value":"10.1137/040610209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427785$E34D49E3-40B8-4309-99C1-BBC6BE4D4E89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd83bd226681c26a57af4741d593ba2ae225d9a3","datavalue":{"value":{"entity-type":"item","numeric-id":853684,"id":"Q853684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427785$57E99F7D-CB93-4F14-8FC4-D603AB9325B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427785$C691DEA6-4E8A-45DA-A89F-C362247A8845","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ce3126ac4b873d1435f3e6415d12d56cb56cf18","datavalue":{"value":{"entity-type":"item","numeric-id":2706140,"id":"Q2706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427785$276CC9AE-A940-4FC6-8F02-53EE0388946D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ef4960c50782e215964c895ec9d00f64c678bd7","datavalue":{"value":{"time":"+2007-03-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":"Q3427785$FB84998F-471C-49F4-BF6B-22CD8C84C6EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46198150e476dfd6dc79fddf47e03eacc68a272e","datavalue":{"value":"https://semanticscholar.org/paper/292b9f72700ad1a8c21945f1958b7a922aab611a","type":"string"},"datatype":"url"},"type":"statement","id":"Q3427785$48C467D7-CE20-4838-A6B9-1EAADC761B09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427785$8893D0B6-B1C2-451C-BA20-9CFCF629887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427785$B2AFBAE2-74B1-4788-BED2-88F478510D3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81231c9611146670c20955322efd1b660d459857","datavalue":{"value":"5136688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427785$E8A81DDB-7031-4361-9A61-3B843DB5475C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427785$D3E9125D-288E-49C7-9098-775FF284763C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427785$96DC0054-3720-4B9F-9DC5-9D88AC7946E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4e7b46eb3ab1fe1820752788839544898fa402","datavalue":{"value":"isomorphic behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427785$F8E31075-7CC2-437F-99A9-872E3CD61CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427785$434ACBBE-56ED-4E26-8159-34A8CDC02C09","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":"Q3427785$47BC6FA4-D19B-4C8D-9FD7-22D053118C75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dae30705cd9355f279f275e1bdfc181db829458c","datavalue":{"value":"W2004141156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427785$E016B857-8763-4B4C-BF7D-2406831BC391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116b04d8c1890b0678e0f231c1ad104024e2f709","datavalue":{"value":{"entity-type":"item","numeric-id":2151956,"id":"Q2151956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8bb5303e54a98cc1bf508af59b21016cb84b3e","datavalue":{"value":{"amount":"+0.8958307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$32FC4AA1-5D3A-4C7E-905C-EB217D3BC6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941c1af1cdd59ad9493b8a8b196842ba7a59ef48","datavalue":{"value":{"entity-type":"item","numeric-id":3139822,"id":"Q3139822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db85abe53364795a15227a584fcd23b1ba421d9","datavalue":{"value":{"amount":"+0.8892954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$36F44BED-CC6C-44ED-A752-6F6FFA7AA82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09c72504d3349369c03acd60cbb1e47be2c2cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5281829,"id":"Q5281829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7c8c758f5c43c1565ce395c08ca6f08e80af46","datavalue":{"value":{"amount":"+0.8879682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$5EC22DEE-9C5F-4BAF-A72D-4A258E517473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471ec1fafcbf54763250698a044eefa477fad72","datavalue":{"value":{"entity-type":"item","numeric-id":3486473,"id":"Q3486473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd97f8137ba23fc20c85a91aefa6da78b70939e8","datavalue":{"value":{"amount":"+0.88794154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$80454766-DB5F-4439-890D-DC3FAE3E2557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519d7fe5f5f9348407bc91b14a59a096b5bb7195","datavalue":{"value":{"entity-type":"item","numeric-id":4328483,"id":"Q4328483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d33cbd3bc8d0f424cc95f108da660e52dac63b6","datavalue":{"value":{"amount":"+0.88766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$30C6B388-FB63-4682-99B8-D403F4BD053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017bbd6057c1e62c46896a93382aded305d0a8e9","datavalue":{"value":{"entity-type":"item","numeric-id":5347940,"id":"Q5347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc34a94969b68ff347a26257bef1632e3c7e48e9","datavalue":{"value":{"amount":"+0.8876184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$C972C6ED-A38A-48C9-A797-3CE81AFB94E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611f2e4786935e401616cea078386bc53e5e3a08","datavalue":{"value":{"entity-type":"item","numeric-id":3470292,"id":"Q3470292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b60246097d0c9588bec4c158567dea144e4b0cc","datavalue":{"value":{"amount":"+0.88662934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$E92D88FC-C9C5-446C-841A-33C56E68A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731653762fae174455f101f4e56b9dd1b0000a9","datavalue":{"value":{"entity-type":"item","numeric-id":4240486,"id":"Q4240486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b76d13c59b509dee87e712dd7650c9c40048252","datavalue":{"value":{"amount":"+0.882519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$16B7A94A-B5B4-4769-8A3D-79F6217F899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f251ce60a1e93f4acb252110e0e13922f80f05fb","datavalue":{"value":{"entity-type":"item","numeric-id":839004,"id":"Q839004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30ff21e574c5b93d41295ad67f4fe7fb65f1a94","datavalue":{"value":{"amount":"+0.88016933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$EF808B7A-1DDF-48C4-9B54-D7A72D1BAD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d07d8130275201c569e7321227c304226f10b7","datavalue":{"value":{"entity-type":"item","numeric-id":2855320,"id":"Q2855320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66965d77a80bce72134808aaafe1b5ef5c813aed","datavalue":{"value":{"amount":"+0.8800167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3427785$EA7EC946-61A6-4600-B9E8-7EF3ECE521E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Verification and Control of Interacting Similar Discrete-Event Systems","badges":[]}}}}}