{"entities":{"Q2573941":{"pageid":2584684,"ns":120,"title":"Item:Q2573941","lastrevid":74148339,"modified":"2026-04-14T18:35:59Z","type":"item","id":"Q2573941","labels":{"en":{"language":"en","value":"Syntax-based synthesis for temporal-safety supervision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2232514"}},"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":"Q2573941$258C25C2-7E22-47C6-A3BD-22EDFF96B01B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8abf2bc23e3a5cdca4eb8492402ab6428f8df81d","datavalue":{"value":{"text":"Syntax-based synthesis for temporal-safety supervision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2573941$9E11693A-ACFE-4733-996C-D757B1ED60A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63169142c121345267447ed29e3c65823862f306","datavalue":{"value":"1125.93416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$D0C057F1-05CC-4F5E-8612-6F51D96B53E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b51978bcf69074914852521012685c5be52a9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1790659,"id":"Q1790659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$BEC14787-05CF-425A-9B1B-F21CB207D9AA","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":"Q2573941$488006BF-7084-4AFE-AEA9-7AF0C813A992","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7667923e4c2f0c381f1d8e53941ec7d33d76af4f","datavalue":{"value":{"time":"+2005-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2573941$A96A8588-2382-45D2-812E-A02B75912126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$27959A26-82EE-4423-940E-93C537FC4681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$2E97F3F9-476F-4E30-BCD1-3EEF2A0B5280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$4E292FD8-2551-4A08-AF1C-40EF1F5DC961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b34e8e1f54bd00d407f92e1d1a28a0bee2a6a938","datavalue":{"value":"2232514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$1760C10A-C468-4CA8-A4AB-0372648013C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573941$E92E116F-7F4C-4948-8543-F37FE7A1DC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573941$7FC6269F-A6A6-445F-82D5-6A11E74D7D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573941$623C2B58-3252-48D3-9BBD-50702971B650","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$6E590B88-23A2-440D-ABA7-CBD54067FE2F","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":"Q2573941$B1DD14D9-8194-433A-BDE7-E2F084E24BE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f374195f5f7ce855e148fa3a7632af9b8020b49f","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2005.05.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2573941$C2A6D5F9-ADC1-4FBB-8101-71F01AEB646F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76ab93d43f45000b3c88f064fa047528911a2661","datavalue":{"value":"W2000359615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$05D95684-D787-406F-A398-A9008C4CAEE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"221a6db2135cc970e2a91b53de79f97dbf3ffc54","datavalue":{"value":{"entity-type":"item","numeric-id":4506591,"id":"Q4506591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$F5E01AA9-C9A2-4F5E-9A8C-FC5D3286C82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$BFE24698-0927-4952-AFB0-2D3B3207EBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eaafb175df6f659de6a280bf14e99ab00ef736","datavalue":{"value":{"entity-type":"item","numeric-id":5288513,"id":"Q5288513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$D271614C-DAE8-4628-9C71-37FAC0F33D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bb8b14ad8cc1156ffba35774e9664428b8a668","datavalue":{"value":{"entity-type":"item","numeric-id":3141565,"id":"Q3141565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$2E2EF234-C36D-442B-8BFD-E61E2E19E7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b176f2b47272d5b320456acd7b6bb655fe3057","datavalue":{"value":{"entity-type":"item","numeric-id":3493236,"id":"Q3493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$26409CC6-BC56-4A33-A8EA-59E332908335","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":"Q2573941$22F00BF9-6122-49D6-8450-54DA90B2C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$346B8E0F-5626-4D32-97F4-26EF18910DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec8c37d01d6f36da3ceb08380f8e25d73580647","datavalue":{"value":{"entity-type":"item","numeric-id":5267069,"id":"Q5267069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$956D516B-132A-4B60-A7B5-9AD19B81E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e5e8b5fa33a8369cd352f812154ef1c5863e69","datavalue":{"value":{"entity-type":"item","numeric-id":671584,"id":"Q671584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$3BB6D5AA-19BC-422F-B621-1DAE8214ED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54094cff1080fe555cb648f965d875615302a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573941$375BBFBA-C64C-486C-973D-983BA84F01B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"223f13e8857bd5de7d6fdfff71530894b86e36ed","datavalue":{"value":"10.1016/J.AUTOMATICA.2005.05.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573941$7E81F297-1879-4570-809B-7DB41A1F94EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4320679b7c1baac50081316ca56a03919bd13a1","datavalue":{"value":{"entity-type":"item","numeric-id":671584,"id":"Q671584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c06835ab87054d16aabda8ca79760b3d23a23b1","datavalue":{"value":{"amount":"+0.8344917297363281","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":"Q2573941$EF1B9747-1315-4AF3-9DB0-0FB0551A4528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfdb3fe6f9c7b3ac9fb9c3b71db92d1446053fb","datavalue":{"value":{"amount":"+0.8187376260757446","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":"Q2573941$D095505D-9A14-4BFE-B4A8-BB14C5EED303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9004e511aab40dfdabdc25ea3eabe673e2a553","datavalue":{"value":{"entity-type":"item","numeric-id":4782090,"id":"Q4782090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2acf827182638cb098b86d83c083507504b0a13","datavalue":{"value":{"amount":"+0.8086866140365601","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":"Q2573941$7138D6C8-4CFA-4BB8-ACC5-6B5DB289E629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b376c6353efcfa59b83ceb12106d12432b516f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3543a59e81cc62434f34541ac298234dee3254bf","datavalue":{"value":{"amount":"+0.7792511582374573","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":"Q2573941$1770B33A-B61D-4E32-96B9-67657C585FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9c2d27cb82dd81a5b1c23e3975587498e7ff25","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400af7f71f39d775ce0a9f5004fc74b0af6fed0f","datavalue":{"value":{"amount":"+0.7716073989868164","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":"Q2573941$7A23A3A5-A91A-4B42-9CFE-34B2234450E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax-based synthesis for temporal-safety supervision","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntax-based_synthesis_for_temporal-safety_supervision"}}}}}