{"entities":{"Q2894283":{"pageid":2905008,"ns":120,"title":"Item:Q2894283","lastrevid":84892523,"modified":"2026-06-03T05:03:43Z","type":"item","id":"Q2894283","labels":{"en":{"language":"en","value":"Template-based controller synthesis for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051099"}},"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":"Q2894283$2BE8E906-6664-45DD-BFCB-2377B4E24E7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23b2b621222024cde86cb190defc488a62884a05","datavalue":{"value":{"text":"Template-Based Controller Synthesis for Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894283$D68F97E0-B4E1-486F-91FD-202833CAF63C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9098e6570fec7eb651c0e34ae47b369e49d6a648","datavalue":{"value":"1352.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$902D0AE1-F456-4897-BC6C-E0E3289A7693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb1ee2486f6a71d79fe001351f3eff67aed0b406","datavalue":{"value":"10.1007/978-3-642-28756-5_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$B961611C-854E-4B36-BB85-569225CD0546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894283$4E2E4229-6382-4E14-9640-DEAAD969232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74da7004a25a0d65393c1d946b8799a150c4bad5","datavalue":{"value":{"entity-type":"item","numeric-id":2843859,"id":"Q2843859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894283$B45E9C47-8484-4B60-BE06-65BE3AB2BCD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894283$1D418774-513C-4765-BB0F-9A0146C05B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894283$68EF913E-0682-4435-9DF0-6DDCE5CB060D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$8A9B77C5-EC16-46E3-8701-D3FE23BE4AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$BBD035D2-5804-440A-B6BC-963BB70C79F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$3C88CD7B-D79D-4848-A651-94373575E99C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"553aa484e84ff8d192b00643d72ee0221b88ba54","datavalue":{"value":"6051099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$D347F3BD-CC6C-4947-87FE-1F56B0979880","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894283$9D48714A-3067-46EB-B061-6A044F9BE3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894283$9B4652F7-ED80-4C8E-A7D6-3A640AB9B449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db27d4e541098f49b080d6a7c6e32e0dfb9da4bf","datavalue":{"value":{"entity-type":"item","numeric-id":24856,"id":"Q24856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894283$DC9D1DD6-B192-4D4F-A60A-BB126DF746B3","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":"Q2894283$8E3ACFC8-2C3B-4014-935E-3E89294A5F44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca490bd5f6f2c2f74edc1ad0f17e307e6ebd4d36","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894283$1929FD00-4814-4410-B2B2-BD6CAFE51792","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82a1ce768f662ab5e0814b7053d5a8a70f7270c6","datavalue":{"value":"W99048994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894283$3D0CE61F-86D9-4C27-9A38-0D5394417BF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7afbacd9c03f696cc70c4ff0aa945977b620ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf31e1f6c758540465ebf43a0d5cfbab1885c18","datavalue":{"value":{"amount":"+0.8327808380126953","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":"Q2894283$27BED283-7D64-40EB-BE66-DA77E1C25658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e66160effbc6e6d4a5665c0016a1f9ff9aa0b4","datavalue":{"value":{"entity-type":"item","numeric-id":4649397,"id":"Q4649397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d885aae637a8905ce818f6198b80de5e985fa08b","datavalue":{"value":{"amount":"+0.8316932916641235","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":"Q2894283$3473F5E9-32E1-41EB-8813-DBEB0CC8C01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52029856dd4271764038e50991106679c269cc80","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fe2a8a7a6af1f9150a8d54af6fe8e392c2f877","datavalue":{"value":{"amount":"+0.8270898461341858","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":"Q2894283$F0AFAD9E-6AB8-47BF-ABB6-E717EF1CD24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c83fb51ef3a62e1206598fc755e67b91ec318bd","datavalue":{"value":{"entity-type":"item","numeric-id":4506591,"id":"Q4506591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ec0aa59ddc2cf68f9a62feb7d26ccad2eecdde","datavalue":{"value":{"amount":"+0.8237643241882324","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":"Q2894283$56616134-CE15-4245-854F-A0F154C85939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfffda094391927ccce10b9c85fa9d688069294d","datavalue":{"value":{"entity-type":"item","numeric-id":5429317,"id":"Q5429317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d938daa132f29b932264ea4729a6ab66fea008","datavalue":{"value":{"amount":"+0.8213096261024475","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":"Q2894283$8FE05AD1-2788-4608-9188-A8FFB5D5353E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Template-based controller synthesis for timed systems","badges":[]}}}}}