{"entities":{"Q5281829":{"pageid":7311403,"ns":120,"title":"Item:Q5281829","lastrevid":41675239,"modified":"2025-05-07T02:15:32Z","type":"item","id":"Q5281829","labels":{"en":{"language":"en","value":"Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6752441"}},"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":"Q5281829$C5BD617C-606D-4ADC-AF86-4F772ED294A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b96b0a7da6d88c18f968b8d7b800bc53db698228","datavalue":{"value":{"text":"Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5281829$3D6291F9-2D4F-43EE-A755-58D3559B9858","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f95cd45d4f41d7237a78b691fc2669ce58796f80","datavalue":{"value":"1366.93372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$F4795670-9AD5-41F8-8A59-C24D4816745A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8bf3d6e8d4c6d849735fd0693794482a935db1b","datavalue":{"value":"10.1109/TAC.2006.875036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$18AFF1D3-3B6E-476A-818D-1EDEEB12575E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db4b2814fc5e807707da1ecee45bace5ddc58eb5","datavalue":{"value":{"entity-type":"item","numeric-id":434478,"id":"Q434478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5281829$7AF59B15-DF52-4356-A562-50973C1C4124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0990e4660aac50cc81fde3f909a35a16e43ddfc3","datavalue":{"value":{"entity-type":"item","numeric-id":463848,"id":"Q463848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5281829$F9FBC5F8-DA55-4458-9F6B-D835F9E21355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bc86ddb24621ffe390dca2a4daa7ffc245ec9c4","datavalue":{"value":{"entity-type":"item","numeric-id":434479,"id":"Q434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5281829$A8C567D1-C480-4314-8653-68B14EC378C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5281829$3DCDE31F-0D70-40D1-83CA-0F0678B88884","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-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":"Q5281829$F974E3FA-6AA9-41EC-81B3-4251995A7BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$1170311B-8CA1-4A22-98E5-0E1563334BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$E59785D7-3616-44AB-9AF5-F8879546A1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$44FC2E9C-C2D1-4335-B95F-C6CC64252707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41998e11b4a8ce87be962fc39c6dd946f29e8369","datavalue":{"value":"6752441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$A6E1DA4E-5604-4EAF-A930-E0AB0D7601BB","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":"Q5281829$4979C4EB-FD10-4B8A-9D1D-A57F8EC78EFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b634c986d7ad1d53743811a993cd53403a254af9","datavalue":{"value":"https://doi.org/10.1109/tac.2006.875036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5281829$80641004-B02F-4A51-A274-B3019CA74347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab7bbaa3cf5473941714d94e147af4e19f7569c6","datavalue":{"value":"W4251892696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5281829$4EF97BA5-B8B7-42A2-87BE-C7AC042BB158","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":"be4e7b86d6c6f93db2d9aa6428433dddb2f61148","datavalue":{"value":{"amount":"+0.9586332","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":"Q5281829$7DEC8269-8E06-4522-89E6-4A2DF9CD93C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eaf6237f2709c2c4418fe6f7b1fe7ec0c53350a","datavalue":{"value":{"entity-type":"item","numeric-id":5853966,"id":"Q5853966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ec2781dea22fd978311e78afc0a5eb15b4b3ba","datavalue":{"value":{"amount":"+0.9454805","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":"Q5281829$5FA96484-B464-41A9-AB1A-B2685F6EF3A1","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":"20e32de27d3cbc9b91cb34cecb95c2ecdb152d52","datavalue":{"value":{"amount":"+0.9401384","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":"Q5281829$480A3D18-F8CC-4B54-B59D-5ECD9B44222C","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":"8289ffd5e59ee9cbcfda87750511c288d2a6a044","datavalue":{"value":{"amount":"+0.92458385","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":"Q5281829$41911382-D33D-4269-AD87-DE9D092A4466","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":"4a3eedc35bb89422edaef9337dbdc3be6b20bcb1","datavalue":{"value":{"amount":"+0.91582173","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":"Q5281829$759D5B22-0ED7-4487-95B2-B2CEA909388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bc79a3b94cd4490d65ff7c9c1a7ba36464227d","datavalue":{"value":{"entity-type":"item","numeric-id":4682237,"id":"Q4682237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a170dda20f2c9ff4cfa8dfd7c85ca1dbba17218c","datavalue":{"value":{"amount":"+0.9137989","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":"Q5281829$E9C8DF89-CF12-433C-B630-7856EF431B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f4ac3b5b380edd239e3d713e8314e29a2b82b","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee6f389f25a70605ef2244c435a6d7173857820","datavalue":{"value":{"amount":"+0.9093306","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":"Q5281829$4DA7352F-7EA3-4120-B987-835BBD0ACCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c759f97e724a6493e65f1c018ea947e660d82a4","datavalue":{"value":{"entity-type":"item","numeric-id":4395809,"id":"Q4395809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4916a75c4acafe7029d272b7504598d187deaabe","datavalue":{"value":{"amount":"+0.9051185","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":"Q5281829$FF464321-ECA3-44EE-A90F-034C2D7C84E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634064e9ccdfe921954b1f1dcc86274241a0e56","datavalue":{"value":{"entity-type":"item","numeric-id":2842819,"id":"Q2842819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e9d5ee44de322d30467f40332f7fe443f91c33","datavalue":{"value":{"amount":"+0.9031096","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":"Q5281829$FB0D3FCA-80B0-4599-9E57-B02442B2E889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a52ccc2b04464f7703ed88e30ba80c1e18bcca","datavalue":{"value":{"entity-type":"item","numeric-id":714871,"id":"Q714871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8523f39dca415c00d424b0cb7e8189307b98d41","datavalue":{"value":{"amount":"+0.8987936","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":"Q5281829$6A34C1F4-EDD5-407E-81C7-5996F1237D86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5281829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5281829"}}}}}