{"entities":{"Q388224":{"pageid":389991,"ns":120,"title":"Item:Q388224","lastrevid":61466217,"modified":"2026-04-10T23:33:15Z","type":"item","id":"Q388224","labels":{"en":{"language":"en","value":"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239477"}},"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":"Q388224$434F357E-C119-4952-B5F7-B0E88C30FA36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a7446a62990185b43fe0c62431e2f5820446e99","datavalue":{"value":{"text":"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q388224$2F765742-287F-448B-8746-3FE0A5BB5C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"109f029394db012e3b8d43d869525df4415d5875","datavalue":{"value":"1358.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$6FC09CB9-D4DA-4ED3-ABD2-12A41A161174","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$EA8C57EE-40E5-4BEB-AD87-3ADC284D6AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ec99ef01374ac77ba66b40a207a2d3d7ecc8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":388223,"id":"Q388223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$B53CA785-C155-4F66-911F-B26C6F3BF012","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$3763D38A-FBCE-437D-9A56-F3C01311D4DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q388224$11DF32CC-40BC-4F64-A194-3401E4BAAB41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$D2062EB4-E92A-41D0-BF88-56145F0EEF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$EFFA3514-30E4-43C6-B0F2-5FCDFF97BDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$844F218E-CAA5-4A75-98E8-F9749C1ACD80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4f42ca42fcf4710588f58b2ef2881f1d7574868","datavalue":{"value":"6239477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$8F767F45-65D0-4CD0-8BA1-CA83641D4051","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"301c24acc71447115a6108ad89d7f085e86550aa","datavalue":{"value":"timed automata and timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q388224$D752780D-05EA-4D3A-95D8-B286B48D1A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49525e5d0d75ed41e5abd9203c4ef6b4dafcb7a8","datavalue":{"value":"safety objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q388224$523ED106-AD9D-4297-9D01-A11415C6714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q388224$3CC81DD6-69F9-436A-9A8B-924260C59B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc67fbaca15edc5573145329f2eaf902c4660bc","datavalue":{"value":"Zeno systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q388224$000FE191-8029-4544-83E2-3FEB2BA78E77","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":"Q388224$1C96AA28-7C06-4D05-B197-6294DC841E0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6612863bb54679de6396fed482d08f0ccbf75294","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q388224$EC6CE7A1-73F4-4FBA-8D22-BCE2DC2245B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca67f65e3124f97bcbc42cb3c151a3849085c4cb","datavalue":{"value":"W2007709036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$DD44455D-4FE7-4CBB-B341-E922478E656A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$6EAF42F2-6E08-45E9-B0DB-4922B6B6DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af3609590dd785f66ab4cc5586dc3cacadf8334","datavalue":{"value":{"entity-type":"item","numeric-id":6044109,"id":"Q6044109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$8712C6BC-0C97-480C-A341-FB36A04BD38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$3AA8EAC5-1F0C-4A4D-9940-B824400968EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73ddd2a7f1a4b8dd60883e3c4e6296b066c67a","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$A61C407E-B113-44C3-BF9F-D1B08FEB37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14de50424f29f300a6c1ab092bcbf44384126978","datavalue":{"value":{"entity-type":"item","numeric-id":5437180,"id":"Q5437180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$CEE437DB-379F-4AFE-88FC-D2DD89E87053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd25a9dffe29a41e12e90c21e722131380cf729","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$A0310BB4-9EAD-4DC0-B133-2369EC2B564A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$8DA00079-A6E4-46A2-8F9D-915CD6D87734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12517eeaeb6245dc67a8b1045b39dda94410077","datavalue":{"value":{"entity-type":"item","numeric-id":5900485,"id":"Q5900485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$E162B909-9D3E-49C9-B2E6-FE2F645C98E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a351f085eaa3ea1d6a1f6ec1507f90facd3502ad","datavalue":{"value":{"entity-type":"item","numeric-id":3523100,"id":"Q3523100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$A9A35F8F-3488-47E7-8D84-FCA48E99BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3354cb12870fb03c767d248ecb48a448635e459b","datavalue":{"value":{"entity-type":"item","numeric-id":5895527,"id":"Q5895527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$65DD2DAF-009B-4C85-B394-CB35D523C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc802b7e5fb802d654285eb5419450315495fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2986732,"id":"Q2986732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$D66FEBA1-8C36-46D4-971C-801F88452896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3842f0ff319bc45af3c0bd633d5c7781f2ab5196","datavalue":{"value":{"entity-type":"item","numeric-id":5900563,"id":"Q5900563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$C8EFA74A-FCA2-4E13-86B7-C8EB7D5E9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4169496c42828f2381ac86d8473fbd55e87d527f","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$3BAF0BE0-5C78-48B8-A829-248C04962517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f8c18f194bf33652be2dc20af60bb528fda07","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$584E0591-F0A0-4544-AD54-EDB8F4A8C5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2981aca023368051beeaab613cde27755ea60a72","datavalue":{"value":{"entity-type":"item","numeric-id":3511218,"id":"Q3511218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$7BEC61A6-C082-47EC-BD0C-EA5804BF854A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2b506ff19fd7a0ecb11234a49b764fe14e5df","datavalue":{"value":{"entity-type":"item","numeric-id":4931294,"id":"Q4931294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$153E2C5A-2262-4E52-B12A-20616CFE2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$8D630BD8-4064-440F-9821-FDEAEFB6C80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af25567ed0b911a6092652dd419a4726b8e49b1","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$8408DF9F-5C36-44D5-9C2E-D0F85FE36419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d992845428d0fb8f1ced1ab9e6345b202f4dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$06BE7C04-8B0B-4DD8-9677-88AE4B8D959B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388224$316865CD-F68E-4F4E-BD82-2BC599AC9054","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bef373ad7c6cc62a064800a769d0308d6fa15336","datavalue":{"value":"10.1016/J.IC.2013.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388224$CDD78EFC-3393-49E5-86B4-A49D749383B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d42f8bd6f4f5bd4fa64020473bacc57c28d82f","datavalue":{"value":{"entity-type":"item","numeric-id":2986732,"id":"Q2986732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1fe4cae23ac564c04af76d4f429ddc64456af73","datavalue":{"value":{"amount":"+0.964596152305603","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":"Q388224$4EE10171-D9C7-4155-B1DA-3D1038560138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33865915f53a86bf6c16ab401842a85a24975d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3523100,"id":"Q3523100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49e3929baa7d507eb5275361703b8004797839b","datavalue":{"value":{"amount":"+0.8001222610473633","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":"Q388224$2AA4F629-8C1D-40C5-B397-15BB9A4A8984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af23501d6ef4ba878995a64c9f031d0f52276754","datavalue":{"value":{"entity-type":"item","numeric-id":5895527,"id":"Q5895527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf53ab5550fbc8cd77134863cf1a0c8d05c4ed2a","datavalue":{"value":{"amount":"+0.7947174310684204","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":"Q388224$CE4322B2-96F0-4346-AA11-CA5D535330DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67792d3e5b295093b644a73f0d61fdd17eacf82b","datavalue":{"value":{"entity-type":"item","numeric-id":5900485,"id":"Q5900485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b0fb9ad45b06caafa4de3c2cff325488b708bd","datavalue":{"value":{"amount":"+0.7893193364143372","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":"Q388224$20951709-1A1E-4199-9BB8-2A356A37F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a83760074e4d32bad3b3de30c1478dae4b42ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2058560,"id":"Q2058560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec65299707c83cdaaf3300702cbaaa42621a9702","datavalue":{"value":{"amount":"+0.7650887966156006","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":"Q388224$45FA9EAF-B0E7-41D7-B030-0AB9F7B44CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_memory-efficient,_clock-memory_free,_and_non-Zeno_safety_controllers_for_timed_systems"}}}}}