{"entities":{"Q2986732":{"pageid":2997456,"ns":120,"title":"Item:Q2986732","lastrevid":52804382,"modified":"2026-01-23T13:18:10Z","type":"item","id":"Q2986732","labels":{"en":{"language":"en","value":"Synthesis of memory-efficient ``real-time'' controllers for safety objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718005"}},"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":"Q2986732$0409E66B-4E9D-4317-BCA7-06D038338A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6704d39a8907d1a435fd6d7a8364ea8506557493","datavalue":{"value":{"text":"Synthesis of memory-efficient \"real-time\" controllers for safety objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986732$32CDBD51-0E7A-4D13-AFBA-A657C246D955","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5d4cf6bbe710fed175a0143ae8c43b4ca08a1a","datavalue":{"value":"1361.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$43F1B902-C093-427D-A517-EEB74EA878DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a572955a7fc3d464fa28f60f1eb7684429ecb6","datavalue":{"value":"10.1145/1967701.1967734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$5D96EA01-ABC9-4B7B-A5C0-F53E2E7ABC84","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":"Q2986732$C880E37C-CDBC-44C5-9D45-EDA6FD631763","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":"Q2986732$D5886ACB-4A2D-40B4-880F-3AF2DB49147D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984d74fbf1f2dcac2a23d24afac7178667c2dabe","datavalue":{"value":{"entity-type":"item","numeric-id":2986705,"id":"Q2986705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986732$C7295031-D739-41B6-B349-41B0CFA60EA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986732$A0D40076-002C-4A0E-8BC2-B16126C4AE1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$885A890E-E3D9-4D3E-973D-619303618704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$9FF8BDDA-0C6B-47B8-9ED8-D12E9EF779BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$FF04E0D5-20F4-4E37-850C-82B68C695BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$96FC279F-F20D-4E8E-8711-FCDA33049742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$EC4923E7-AAEB-42A5-989D-FB5C7240EF77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5180740ce37bec911c8762890102bab29923869c","datavalue":{"value":"6718005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$06385FAC-9BC7-4498-9C8F-DE6FBF2DEB2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986732$D889FD3D-39EA-4095-8EF4-CCFFC14C543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49525e5d0d75ed41e5abd9203c4ef6b4dafcb7a8","datavalue":{"value":"safety objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986732$DFEB45EB-302F-4249-ACF9-91AAD8D3B7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986732$97D90226-965A-459A-8833-28F0F4300810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b967df58bd1b5e5fe380a36a7ee5d31c751f1","datavalue":{"value":"timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986732$1534230F-9E72-4473-8C59-F7E4DA88FBB2","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":"Q2986732$D74120C4-764E-46F1-A81C-5024967828BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"323f648c485197cc630a677a25244694383010c4","datavalue":{"value":"https://doi.org/10.1145/1967701.1967734","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986732$68564EA8-8383-4F8D-AC2A-AF0049F7A833","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b275f17bbd2433b253b693b4d51d4a36e8e750e","datavalue":{"value":"W2041501217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986732$62D1D460-CE9A-4378-8A4F-05B3FD26C416","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a325cfe297fea137509322696cf37c8c1a6902","datavalue":{"value":{"entity-type":"item","numeric-id":388224,"id":"Q388224"},"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":"Q2986732$B0B716D8-9A94-4F4C-A16C-283F9D238F5C","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":"ef76b5b670e740ea856b0f306e1e2aadade503ed","datavalue":{"value":{"amount":"+0.8001762628555298","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":"Q2986732$6B4BC0F7-D426-4514-8C15-535FC26C416A","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":"9a21030cd38d8d056328501ebbe489dc3811aa0a","datavalue":{"value":{"amount":"+0.7855690121650696","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":"Q2986732$D2B28FD5-F1A9-4792-91CC-E5E6D746A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742d584df8f6644ba08b4d8473a9cd56c4910b37","datavalue":{"value":{"amount":"+0.783944845199585","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":"Q2986732$83FFE60F-DED5-4E27-A43E-1F093D7E688E","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":"ee78fb5c0641cfe640f62d0533dd4ab1d119a9ca","datavalue":{"value":{"amount":"+0.7807794809341431","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":"Q2986732$A37DD0AD-C256-41B7-A105-02996E4B3C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986732"}}}}}