{"entities":{"Q2842132":{"pageid":2852852,"ns":120,"title":"Item:Q2842132","lastrevid":79463192,"modified":"2026-05-06T13:58:03Z","type":"item","id":"Q2842132","labels":{"en":{"language":"en","value":"Robust Controller Synthesis in Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197924"}},"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":"Q2842132$DF2CE098-183F-4400-9235-4ED1A7750090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcdc44cf54cb33db9e5bd226662707d5e87a5249","datavalue":{"value":{"text":"Robust Controller Synthesis in Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842132$3DCC6C69-184D-4A8E-8150-F0133DC18727","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df9cd0f4e27da149ceb1fdda6c5e4f2485b266cc","datavalue":{"value":"1390.68416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$B3F511BF-75B7-4186-B27A-F67B37FB2A82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81ba1de9c05c324203db65289815f39b35f91fc7","datavalue":{"value":"10.1007/978-3-642-40184-8_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$FAB0FDEB-83C0-4A05-A630-7BC5491040D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842132$F6653070-872E-4BE7-B099-02B6D8FF5919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842132$2440261A-E658-4A15-A99E-DAFFDB3835B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842132$C0E875D6-7FDE-4335-A0AC-F2B7B5E8F773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842132$75F24E39-3796-4C6C-927F-EFDD1FC70E7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842132$557CF3BA-B668-457C-A1B8-BCED1118937E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842132$070B6264-6B25-48F0-A56B-71F3E721FD6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$C2D5E1B7-7B5E-4CCA-87F5-9D9FCE89373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$43F203D8-1861-4D01-8831-E14E1E1C22E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$29D4AC51-1DA9-42ED-96A4-82C64177E72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$D6706C5C-A166-43FA-98E5-F6D91071F741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$7090FB17-591C-4A05-AF0A-4EB75BFBD5F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89f57a31fc74e09b9c3c9d306f11c97e21e6c03d","datavalue":{"value":"6197924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$6B0E31DB-C2F5-40EA-A969-9444A3A9A1B9","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":"Q2842132$033659D5-ADEE-40F3-B226-E27C70877385","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df0fc3bd54306f363ce0256e53c6e584b0a2c31a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40184-8_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842132$5B5209E4-AE1F-440B-8C9A-63F9D3DD3D02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8efec3ce54331747a11ffb818bdc0e2082fbad3b","datavalue":{"value":"W1519685353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842132$C40D9910-7EB2-4A50-9A0B-EDA1A8C5D640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52678be0f565b1e50ddf8841c00ebc90d7496078","datavalue":{"value":{"entity-type":"item","numeric-id":1693828,"id":"Q1693828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef9c78466e097b7a39b0fd223b954f25868dc1a","datavalue":{"value":{"amount":"+0.91586435","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":"Q2842132$CEBCD1C8-2938-461E-A3F7-5197AE6D06D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c873679814e56eabb3c8b69b0e316304ef823a90","datavalue":{"value":{"entity-type":"item","numeric-id":4537789,"id":"Q4537789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fd29e8f2e4cbc69a0d48a6bcf69d9b409255e5","datavalue":{"value":{"amount":"+0.91571724","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":"Q2842132$F680C16E-ED35-4307-9DB5-CC4B0235C337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7544cb4db16143a8373f38692f0c46113dbaced","datavalue":{"value":{"entity-type":"item","numeric-id":2024347,"id":"Q2024347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5e712c6378565fffc81b0b4ab98c16388afd5b","datavalue":{"value":{"amount":"+0.9156221","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":"Q2842132$9D17F07A-FCF4-4695-8519-713D5DD1F30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47e8638dbbe3ef889ccabd0454e417c5e89f3712","datavalue":{"value":{"entity-type":"item","numeric-id":1996422,"id":"Q1996422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc586adb4f72c5eb7e6768e6d3ebd759861c19db","datavalue":{"value":{"amount":"+0.91267663","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":"Q2842132$552E578F-2997-4374-9108-95270EFEC339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e4c50280b7ca24e7c41a221b387028cf2d75be","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3152d49b295fc95cc9ddfb1be7b2bac53c4931f","datavalue":{"value":{"amount":"+0.9100723","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":"Q2842132$8C56084C-1CC4-4045-9469-136617145568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d14c328ab68aece3efe75ef8b88b083de10f51","datavalue":{"value":{"entity-type":"item","numeric-id":5168510,"id":"Q5168510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2ffed3884fcc9378eceeaa98a4c2a16533d802","datavalue":{"value":{"amount":"+0.91004884","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":"Q2842132$AD4D357F-72A3-43CD-B982-990782B448F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f70b7e57a58656a089f805fb186a6cc751e5af","datavalue":{"value":{"entity-type":"item","numeric-id":6135744,"id":"Q6135744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a96ffab733859f72bad09c5ed46e6a399fc8b2","datavalue":{"value":{"amount":"+0.90974915","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":"Q2842132$11E412C1-320A-4905-90AD-6BAC44CDD225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52029856dd4271764038e50991106679c269cc80","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a213e3df580b9a342c638a39aa9289b70fca4169","datavalue":{"value":{"amount":"+0.9050137","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":"Q2842132$6F0B267D-DB23-45A4-A88B-DB80F43C7EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572db15412e25e032182baa84964aebc36edba3d","datavalue":{"value":{"amount":"+0.90265256","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":"Q2842132$0FD44C27-6D88-4495-B0C1-2589507896AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d58754134219bf880d5aa7e94a1369d1c9dfa06","datavalue":{"value":{"amount":"+0.9024675","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":"Q2842132$72C4602D-0A11-4100-A919-D479B9576FDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robust Controller Synthesis in Timed Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robust_Controller_Synthesis_in_Timed_Automata"}}}}}