{"entities":{"Q1737745":{"pageid":1748486,"ns":120,"title":"Item:Q1737745","lastrevid":57519825,"modified":"2026-03-31T06:17:35Z","type":"item","id":"Q1737745","labels":{"en":{"language":"en","value":"Robust control for signal temporal logic specifications using discrete average space robustness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7047137"}},"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":"Q1737745$DA2B3B70-91D9-4D6B-B4D6-45AE089AA307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7382faf1f739d50c497ee3be7a30579a13f2204","datavalue":{"value":{"text":"Robust control for signal temporal logic specifications using discrete average space robustness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1737745$DF627900-E094-4DB8-BA0C-2F494F7D8F7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbdfbdf1400e84a3b42efdc305e3e6f601138de9","datavalue":{"value":"1415.93092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$CBB3DEFE-7040-497F-9F29-8432B5091FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31c5716068e1f3da5371bacc75650f190e0b352","datavalue":{"value":{"entity-type":"item","numeric-id":1737744,"id":"Q1737744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$2D2AA757-2920-4A4D-A807-E2486560208B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe955b6b42974a970b73af02150e7e2737b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":290856,"id":"Q290856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$A71C48BF-2E06-445D-B46E-E6F1CC13395C","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":"Q1737745$DD1F1EBE-08C4-40EB-B728-D0837C57F342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5935bb4f070aa8014d987a25d24fc56c18ba30a","datavalue":{"value":{"time":"+2019-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1737745$B115CC38-1C3D-4B1E-8743-5879F951D2B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c7addeda42fc9a3d51183781f86dd63a1de043d","datavalue":{"value":"https://arxiv.org/abs/1607.07019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1737745$E809B16F-ECCC-44DB-8EE0-3CD98535DD70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$C30373BB-68B2-4756-97CD-2302ACA59DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$9828326B-8DBE-4349-A96B-90BB49C297F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$66A16FDD-CEC1-4B6C-9A27-F549F2C5AF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$9C27C66A-B917-48F2-B9E2-2DEF0762C0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$577B24CA-A8D4-4AF6-904D-DB87E6E0CE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$72DACA2D-BFB2-453B-BECE-26D4CEAEC87E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d3a9ed8882599348b8ba9ac937d14efd27f62e2","datavalue":{"value":"7047137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$27076B07-0BE7-4F77-B4BB-F9676C2EC114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8191471b212c42fa91ea7ed15c8d72644d1d098c","datavalue":{"value":"formal methods-based control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737745$FA342747-C00F-4A00-9AF8-8754720908EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737745$B933F513-AE0D-4E49-BF44-3ADDE49A40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a676eed2045b791f06a3babf3451a28a80e8b312","datavalue":{"value":"model predictive control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737745$46989D2A-03B0-4217-9D02-3763A8CCB61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5dd8c82433041f35cfc4a3abdfdea31dd5a8e4","datavalue":{"value":"autonomous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737745$DE688609-9DE7-48DE-82B3-4A61AD93FB5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$1E4E4F7C-51E9-4299-ADD0-7E80247EE0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$B6E37FD9-75A7-410E-92DE-BCED6E8A3156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0053e8cb175571749093f2baf2382d899c607c1","datavalue":{"value":{"entity-type":"item","numeric-id":46455,"id":"Q46455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$8D3E8BB0-2067-4B42-81EC-7EB7D6DDD507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$780443C6-45CC-4C0E-8703-3F92202CC3C1","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":"Q1737745$B7940806-42DF-453C-AAC7-971611E7B612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759bd962daa34f60817ab10b6c8624fda5196bb1","datavalue":{"value":"W2963199590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$05E3B9FE-1E8B-4685-85B4-3E0D3EF48DE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3f7b55e69ad0bacc2c32cb42125d9eba7083e5","datavalue":{"value":{"entity-type":"item","numeric-id":1702902,"id":"Q1702902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$490034A6-B85C-43F7-92F3-86CCA7A3876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$822C22D7-2C26-4EE6-9311-BFBEF3C62188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$4DC0BF90-367F-4496-9F55-10658704C4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$0DE3FB94-90C1-403B-8956-6BA1D2684640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$829FA76A-4AD0-43FB-9E86-A494C21A1BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$770DF21A-EB35-4E23-B4E8-70A5F1FABC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0513acef2cc424c9d9e841cb524a06b821ec078","datavalue":{"value":{"entity-type":"item","numeric-id":2988959,"id":"Q2988959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$83AF0EB3-E994-4C83-AA04-B28EF90C4C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$90945FD3-E86E-4647-8486-9332EC184B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$01DB882E-D383-4945-804A-AE900949D961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$46BE916C-7B31-4353-839B-06DA1C2BA46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$988882C8-B2B4-440C-8123-60C679D59FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af340eb6bf175d471510207aa798e0d3300a162","datavalue":{"value":{"entity-type":"item","numeric-id":2988956,"id":"Q2988956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$B76A31BA-3B75-44E1-B491-83CFED7539BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd2fa348517ea5f64085080a32e8c6220bf6b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5275314,"id":"Q5275314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$E856E73D-DB3D-40CD-979C-E75481AC5A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$D24F4B0C-DEF8-4FD1-9A63-D6258511756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737745$BFEEBDEE-BEB1-4A35-901E-25D7B3A12841","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"79202e050b82cd48c52783c8864ca3d39933596b","datavalue":{"value":"Q128607420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$951224D8-CBE6-42C0-BF82-FE6E8EBA5959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9ad746252bedd3e93d25c2a2bcced2f3fbd6c12","datavalue":{"value":"10.1016/J.AUTOMATICA.2018.12.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737745$3F530A06-8127-473D-884D-335CF42D4AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1c81809ee9cfccafc4a087d552d45e1db5412","datavalue":{"value":{"entity-type":"item","numeric-id":889006,"id":"Q889006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce3a310a0f7335c3eb235d3c6a0ededfbf1dfee","datavalue":{"value":{"amount":"+0.831676185131073","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":"Q1737745$7DF259A6-44E4-48B1-A7DB-6989181348C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d707412c020563091d3c4cf69f7ed09d9e70e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2986939,"id":"Q2986939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1a5bfe347b48575ab13a83928ba452b4ce7b92","datavalue":{"value":{"amount":"+0.8306822180747986","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":"Q1737745$D9CD1E6F-C640-45BB-8A46-D825FF03B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5843e37c6d918d4414416f1d88ae24cc534c82","datavalue":{"value":{"entity-type":"item","numeric-id":313326,"id":"Q313326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f697ebf9522f8782230cbfa7ff41a800f56645","datavalue":{"value":{"amount":"+0.785137951374054","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":"Q1737745$52301C1F-137A-4095-AD18-8D985C2F0F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945286be0f3b62cfcaeec24655e853559ebe32ca","datavalue":{"value":{"entity-type":"item","numeric-id":2061223,"id":"Q2061223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad021324d4676e2ce402f4a2a82ef50958993cb","datavalue":{"value":{"amount":"+0.7806791067123413","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":"Q1737745$61EC961B-6E9E-4824-B956-F3866A7A1A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657a498c6f5c9d6daef09c188e6ffc893097b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc82d6fe79ab15adfd30bdf7960f4a8000d57eb","datavalue":{"value":{"amount":"+0.7774242162704468","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":"Q1737745$26A0C5A2-C374-44E0-9C4E-2E5125EAC66E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1737745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1737745"}}}}}