{"entities":{"Q6960774":{"pageid":21267849,"ns":120,"title":"Item:Q6960774","lastrevid":76098411,"modified":"2026-04-22T20:09:33Z","type":"item","id":"Q6960774","labels":{"en":{"language":"en","value":"Secure-by-construction synthesis for control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8062444"}},"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":"Q6960774$22962A0A-19FE-4790-987F-051D13069101","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a7ae2ff80493d6879770a8f1ff2efd9374fe2c","datavalue":{"value":{"text":"Secure-by-construction synthesis for control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6960774$F4843958-744A-45B2-9B04-E3814362E577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0f266adb70c27f7ddb7cf7e21fdc134c401264","datavalue":{"value":"10.1109/TAC.2025.3532541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6960774$B896B899-1DC7-47F7-BF64-B950DE3370BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71b0800349946e78138aef7c944ecd0f234ad48","datavalue":{"value":{"entity-type":"item","numeric-id":2074753,"id":"Q2074753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960774$421D72C2-7962-4DC4-9E9D-D2DF1880F9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44a55f6ad812929d55719a475eeb1ebb53fe017","datavalue":{"value":{"entity-type":"item","numeric-id":305213,"id":"Q305213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960774$C889AF2A-23A3-47A2-A84F-8565736B3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8ddcc5c624441d778a52f83fb5e9794a41dc5cd","datavalue":{"value":{"entity-type":"item","numeric-id":704047,"id":"Q704047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960774$36AB03A1-7FA8-4CBE-BB4A-963B168C4E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2161ef886d8ebd3f0df12de6de95980476e7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1689366,"id":"Q1689366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960774$4CE0A796-F7C2-4D60-9689-3F4962A9B706","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960774$EB156F31-2018-4210-B445-88B8FF4C4842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa8d539d1dddb3d1a003891346733ac2813f0087","datavalue":{"value":{"time":"+2025-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6960774$26190B81-ADA0-408F-AF29-91FD9BD31102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6960774$D34243C4-B590-4CB9-AF1D-40B69199E417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8503ec9d2651f1a5f69b0110c2909f50b163a51e","datavalue":{"value":"8062444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6960774$86EEADCB-9784-4DF5-9F17-D6EC8244808A","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":"Q6960774$2DF1A7F9-EB51-4B64-A49A-3D8F82CE1E15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Secure-by-construction synthesis for control systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Secure-by-construction_synthesis_for_control_systems"}}}}}