{"entities":{"Q2568275":{"pageid":2579018,"ns":120,"title":"Item:Q2568275","lastrevid":79259504,"modified":"2026-05-06T13:30:49Z","type":"item","id":"Q2568275","labels":{"en":{"language":"en","value":"Theorem of abstraction for equivalent controllers in hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2212999"}},"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":"Q2568275$3DAFFBFE-809D-4BFA-9BC7-13B7729F09A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b14f743b1aa948eb4778ec9792a0b8419df7f04d","datavalue":{"value":{"text":"Theorem of abstraction for equivalent controllers in hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568275$50A1CAC9-E111-4F9F-9BDD-76CDDFEE17D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e51fbcf76163b9ea99267c21b00def93145419","datavalue":{"value":"1135.93351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568275$0FBC263B-85E1-4BDC-B74E-9A3870E673D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e773f68da8658f60713e049cee0eb2fdccc8f78","datavalue":{"value":{"entity-type":"item","numeric-id":460379,"id":"Q460379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$262CDA96-4529-402B-8E5C-672A2939F238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$66AFC276-7888-4921-BBBA-11EBE3BAF319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568275$6C9B832D-7C41-403D-AA43-6E2F4E619884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568275$B2E9422A-F32D-4813-9E2B-D5999C0CB42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568275$0F4A2EC5-CD02-4217-92BB-EEE52F378653","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96cab8464acc250edf10a91368412e95692bf50","datavalue":{"value":"2212999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568275$88CFA119-2D4D-4CE6-91AE-699C78246DF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c330f2a58efc85bc92438e4c9601644a796093e","datavalue":{"value":"Hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568275$22EF68CB-0356-4509-B060-3305274C237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240618ec388efc3b272e73a794d511983c790dce","datavalue":{"value":"Discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568275$1146154F-D540-402A-B6EF-188F275059F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"327105f9e23558f471b84f44f9b67e39b40b1d9c","datavalue":{"value":"Control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568275$D5BB1E55-4E61-42F5-B08D-CD5DCA5E9F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac02e334000774a8de0177326c6102c32e5d782","datavalue":{"value":"Abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568275$33B371C2-5BF2-4799-A457-27B1C5FB9024","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":"Q2568275$E107ECF4-7BC7-41D3-9A38-F2520A7F3CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f7f69be794fb3eefb6eee9d37bfb7f11ef96f44","datavalue":{"value":"https://doi.org/10.1016/j.ins.2004.07.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568275$61480F66-7FC8-40CD-90EB-48949804BEC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2541f75bb8a4bcd8f59aa75ac3b7cdb32e7819","datavalue":{"value":"W2076789959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568275$8AA527A1-1922-4708-82F2-C6F3527749F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$26DF9FD8-DB04-43DA-B6DD-F1EE47D56314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27580d7c158cea272ece70c4c667195bc2d13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4810934,"id":"Q4810934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$4BD1D988-1738-4D8F-9B23-30EA6D685A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f608a96b180e467210d81d7977e167fdd1fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":5288500,"id":"Q5288500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$304E22C6-F701-47CD-A371-35BE4E8932B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37121d74a088d0ce29371667cec0e93456d4b2e8","datavalue":{"value":{"entity-type":"item","numeric-id":1410225,"id":"Q1410225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$DDEA1CC0-0E60-4B3B-A92C-152BE53230FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$563AB7FB-D658-48FA-8292-A9BF1BA0555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda6439186c375d86e83461e447e91250ed42a3c","datavalue":{"value":{"entity-type":"item","numeric-id":1272965,"id":"Q1272965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$BC77FF08-8581-43B8-B54C-1899294D35A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$547E5CBA-43FE-49F2-BD84-66E947291475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac7f6378635e57edf3022367896f6113439d295","datavalue":{"value":{"entity-type":"item","numeric-id":5202104,"id":"Q5202104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$6269B0E6-01CC-460C-86C4-2F5B5214F5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896344cbd018c85db5fa162769b0e47349d82497","datavalue":{"value":{"entity-type":"item","numeric-id":4837492,"id":"Q4837492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$D68F729F-7402-4A94-87CB-946AA20C5738","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":"Q2568275$8FDB6E4C-DA74-4971-B652-31FEA15A4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$8AA1F37B-5EE0-47BF-9EE0-4B89706466F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b85a55b322659f70ac7d4e0c6535ce61c82ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4953410,"id":"Q4953410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$B3DC5608-E188-4959-B563-302083F164EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd355be8df39d5fe384481b51b81a7800823759f","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568275$C7C21811-39B9-41D2-8E30-31E22D15DE45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b192146e49c94fee7033dc2154c16cbacaebde26","datavalue":{"value":"10.1016/J.INS.2004.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568275$88C87B03-6322-4D4C-8126-2F30CFE5464D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bd7aa7a5d5233a507b672bda57c22c035f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27342016f54554d302c43bfb0a5f873b57660d27","datavalue":{"value":{"amount":"+0.7451823353767395","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":"Q2568275$AB05E84E-A75D-4988-A9C9-2B7774DD86FE","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":"d5123e9e7458a18bb2068c03123cc94b0456326c","datavalue":{"value":{"amount":"+0.7416316866874695","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":"Q2568275$7FE8197F-1C51-41D0-B941-4B1A473F6953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf1f647cf10716b8675c5358e2add5b7bf32767","datavalue":{"value":{"entity-type":"item","numeric-id":2197592,"id":"Q2197592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547fd38e75ef93db1d3f0a947ff019e1582861ad","datavalue":{"value":{"amount":"+0.73198401927948","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":"Q2568275$749EC22C-3A24-4F10-B947-A3D5BD831CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8effc75339870c0855a95ee1af59405b5dd6de1","datavalue":{"value":{"entity-type":"item","numeric-id":4552491,"id":"Q4552491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbbed847479193a7a4c2c02a5d8109eb71df0f3","datavalue":{"value":{"amount":"+0.730556845664978","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":"Q2568275$4D4F39DD-BF85-4DE2-8FD8-593E2303F076","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":"db880886142301ab8ad2ea76fe92757742c31e10","datavalue":{"value":{"amount":"+0.7228850722312927","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":"Q2568275$3E6F1A41-E420-483C-8CF9-20846EDD3D65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem of abstraction for equivalent controllers in hybrid systems","badges":[]}}}}}