{"entities":{"Q2174020":{"pageid":2184763,"ns":120,"title":"Item:Q2174020","lastrevid":57756678,"modified":"2026-04-01T07:29:57Z","type":"item","id":"Q2174020","labels":{"en":{"language":"en","value":"Symbolic abstractions for nonlinear control systems via feedback refinement relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7190698"}},"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":"Q2174020$4ECAA688-51E8-4113-8DF0-D21EE54B45C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8152f616577bb7a7a62765aede190aa65190465","datavalue":{"value":{"text":"Symbolic abstractions for nonlinear control systems via feedback refinement relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2174020$33072037-E983-4010-9897-CAA457DCBE25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d1d0c50c68c99bce069a334372615e1d19f3de9","datavalue":{"value":"1441.93091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$ECF7EDB3-4BD5-415B-BECA-4CE0B053701A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$F432F496-7018-44F3-9AD3-90A23D19BC62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$4E212DDB-C60F-40FF-B220-7CBF4B3DC2D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15784d321aac3bade60fa378317d3f88af56df9f","datavalue":{"value":{"time":"+2020-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2174020$CB0B9809-65B7-47B1-9945-6A64A159365B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a9165b604934ea307d5634d9aae2710c1d9a9f4","datavalue":{"value":"https://arxiv.org/abs/2011.12824","type":"string"},"datatype":"url"},"type":"statement","id":"Q2174020$09F6A2A3-22A4-411D-9645-DB256E8AC05F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$806CCF85-DB04-4E7A-AF79-A831C919FB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$B2AFA726-AB12-4754-8192-CD6E908204BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b703f391e3ecdb375ee45a06e70655a403dbafde","datavalue":{"value":"93C43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$D9164BA8-414C-4F28-B9E8-E09FE2650AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$BFC710D9-3FC2-4EB1-B05D-8E1575491442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fbb09ce415d0c9f22ccc7680aafdea6439d78dd","datavalue":{"value":"7190698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$ECEBFA12-9E20-4F1F-A806-54CAF8E98D3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2be9e870948ad7874513130cc4f1e1b350342d4","datavalue":{"value":"symbolic abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174020$7F111626-48F5-40E6-8A70-76B0EE119FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d068ead07a8bbfbec4bf3b5ea7289d20248e31bf","datavalue":{"value":"nonlinear control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174020$E26B9BB9-BAF9-4142-8DB1-C70BA7101399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dffcaf941b8cd58db9945d4b0fd502eadbf7ed4","datavalue":{"value":"quantizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174020$0E6A2A7E-0970-45E2-A005-540FA5F4763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8522a4ed57e143905b4687a04b8585e126e126a9","datavalue":{"value":"time-delay control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174020$FFEC2ADE-A41E-496D-B685-EA419C4CD9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff6fddf34f9481e9015a9d146a0106184bbeb49","datavalue":{"value":"feedback refinement relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174020$7A786598-BB6B-4572-B743-2785B686D6C0","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":"Q2174020$71F88476-8798-4AB7-9218-57494AF6F3CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eda84094e4929fcca62e67d5acf60d16b42818a0","datavalue":{"value":"W3000471896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$2F030582-E08E-45A2-ACD7-EFE6103BC9D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a116bf100b6e69756d2b92ee15ae0e0d475e7b3","datavalue":{"value":"Q126320037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$CA446AFF-E462-4A13-B618-78C5A0CBC23D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1cf63530088e5c555a290316e3ba74107c9c3c","datavalue":{"value":{"entity-type":"item","numeric-id":5958812,"id":"Q5958812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$B0CBC787-0267-4D81-8B3C-1795119697C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f97890e07d769048a18b2215d96a67597572ff","datavalue":{"value":{"entity-type":"item","numeric-id":5752450,"id":"Q5752450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$854F180C-6524-4F25-95E6-C31104D6C9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98c4f29c181114ef0ee11a94828facc80f428ec","datavalue":{"value":{"entity-type":"item","numeric-id":5274196,"id":"Q5274196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$C4C2693C-7667-4973-903A-A50DDB1AB614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$8914E333-7D92-4411-AF95-C8AEF512D81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$C7B39E67-E5A2-423D-916B-2BAE9D0F9DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7d7439cd1d1594d3b4bf9e1b8063b00fbb95f1","datavalue":{"value":{"entity-type":"item","numeric-id":1679067,"id":"Q1679067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$261BB45F-333C-4BA6-8D5C-1C70F43DD61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf77dd2b2e77cae21e1c65d4e87c1df5daa4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1400932,"id":"Q1400932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$8B8F3EFE-2B08-4F77-ADA3-A40327C0C8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc3bfb8371a533271a79610961b0d9cc25c558b","datavalue":{"value":{"entity-type":"item","numeric-id":445049,"id":"Q445049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$ABD1FC7D-97BB-4564-9241-1407474F2480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51323bdd0b5285770e1d8eea7e29886548b8f589","datavalue":{"value":{"entity-type":"item","numeric-id":1690521,"id":"Q1690521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$282A0367-A327-416A-8C1A-0E16BA998D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90622f26cb21013c4cea46e94a7687ca074802d1","datavalue":{"value":{"entity-type":"item","numeric-id":5375276,"id":"Q5375276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$64EA1F77-93A6-4BB3-AEDA-15D55E498209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a3b0157467c04f6ab0de83637998294f8939df","datavalue":{"value":{"entity-type":"item","numeric-id":1761413,"id":"Q1761413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$FB3008F6-EFD2-4E62-9008-F3237AA8E7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$425E1D65-E6AC-4CB0-BAC3-B047617B7F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3974520a11571fd949ac01438c3c39a232b1d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3465677,"id":"Q3465677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$1DA01002-A6FC-41F5-9A44-935A611394CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ff2e66ddd51d479a6751262ef05fc6844bfb4d","datavalue":{"value":{"entity-type":"item","numeric-id":1959416,"id":"Q1959416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$6D06D1D3-CD18-4B71-90AB-55659EAB3D42","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":"Q2174020$FAF8D691-E4AC-474D-AFF0-3902BD5EA163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$37CE1454-910B-4723-8CF3-90C820B629E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1defe68d9b13245f3322c087638412fca147bed1","datavalue":{"value":{"entity-type":"item","numeric-id":4682385,"id":"Q4682385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$6BF04AA3-E06E-489B-9FDE-1954B844BFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3500385e034a1c904389b6eb1e58486ab172f43c","datavalue":{"value":{"entity-type":"item","numeric-id":4100478,"id":"Q4100478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$1B4A34C3-04DD-4BFD-8FEA-4DE009EEF178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55751d39474f8b9d5110f063d1a573ceab3ef960","datavalue":{"value":{"entity-type":"item","numeric-id":4400449,"id":"Q4400449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$D4EC664C-59D0-4CD8-9D59-CB21CA74CD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$ABEAADD2-6349-4E21-BDF7-56AA688E4C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174020$294D2B3C-8285-492E-A3E8-8C1CF76FF1DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf8f16fc31adbe12f15e1ce1980c5216d34a359b","datavalue":{"value":"10.1016/J.AUTOMATICA.2020.108828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174020$B8C3816F-189C-43AB-9956-79196ECA6138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56c0aacf1674d68e31f27cb9350bf3f5d3e39cd","datavalue":{"value":{"entity-type":"item","numeric-id":3465677,"id":"Q3465677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47a4ac2dfdf2b828d7c2b5ab68a808e89e285f6","datavalue":{"value":{"amount":"+0.8070862889289856","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":"Q2174020$C1896F54-794A-4481-8615-B03F8E459E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58e692a30f56d7aa9de2c89a4dfb29ee3737773","datavalue":{"value":{"entity-type":"item","numeric-id":3557942,"id":"Q3557942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb517094c52791ff84947ab516ff65ddd02b4c08","datavalue":{"value":{"amount":"+0.8049106597900391","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":"Q2174020$1B19FD96-7BC8-49CB-AE4B-ED7C3870597A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d22adf42744f627b355bcefaa062091ac9448a","datavalue":{"value":{"entity-type":"item","numeric-id":1959416,"id":"Q1959416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d495d74534d677db9259e954bbdaa1ad938905","datavalue":{"value":{"amount":"+0.7961323261260986","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":"Q2174020$AFF0CFFB-959C-403F-A93B-F09ACFB18BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385af14fdd32f380985deb72c19b7cfb15a8b16","datavalue":{"value":{"entity-type":"item","numeric-id":4897709,"id":"Q4897709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b84ccb5b6623810323e750ac0d100dc26f71ce7","datavalue":{"value":{"amount":"+0.7935088276863098","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":"Q2174020$3783BEB9-66F3-4CDD-804D-1A1C3895302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14358f320fb4953aba1a771e0e35d7e8999b2fea","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1db3f4f24c33df845b8ab46719e46699f28bde","datavalue":{"value":{"amount":"+0.7933061122894287","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":"Q2174020$223B3A5B-9293-4F49-9D71-BC315263F622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2174020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2174020"}}}}}