{"entities":{"Q4649397":{"pageid":6678978,"ns":120,"title":"Item:Q4649397","lastrevid":40772312,"modified":"2025-04-04T15:38:50Z","type":"item","id":"Q4649397","labels":{"en":{"language":"en","value":"The Complexity of Bounded Synthesis for Timed Control with Partial Observability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109503"}},"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":"Q4649397$D9A82D02-7E1D-461E-856D-14C6458ABB0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe485cc40c1ca9a5e9061e8907c2a5a8682931fc","datavalue":{"value":{"text":"The Complexity of Bounded Synthesis for Timed Control with Partial Observability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649397$55ADE1E5-8E71-41EB-B4B8-B84E30158D5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd55e5602a64f7ed5966eac48ef9db145fa21821","datavalue":{"value":"1375.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$CE274419-E581-4A98-B2CB-28B9EFC0136C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c81cab124948432f2c2cc29970e5bf09f3d0ed4","datavalue":{"value":"10.1007/978-3-642-33365-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$CB292BD8-0F11-43B6-A168-6690504C26B9","rank":"normal"}],"P16":[{"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":"Q4649397$58DB61AC-D138-4453-AEBF-39C63845409A","rank":"normal"},{"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":"Q4649397$4D4B6BB6-B43A-4EED-A729-447B150E395A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649397$37C71D08-6CDD-4FC9-8085-D1A1EE5B2654","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649397$DDFE8FEA-DC21-4717-A98B-720473B4413B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$80C784BE-6522-4BB6-9963-2721E8E36E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$6C8FB48A-0F4D-47B4-9E90-5FAFA63C79A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$52128E6F-1693-42E8-A469-58893FE75ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b65055d8f9e0e664267c34af83814472d74b025","datavalue":{"value":"6109503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$A404D441-20C8-4513-AE40-052F4AE21545","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":"Q4649397$96C3B6E1-E1EB-4725-99EF-03C9538594C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37ba89e504146da9edca4e86df528c626cd3ff72","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33365-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649397$E0BF08CC-F098-4A12-8BD7-1210BDAE2157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37763543c9bfcedda88d26c20805377fedc3b5b3","datavalue":{"value":"W1855807124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649397$28C1B65C-EFC1-4BBB-9EE9-07BAD0DC21C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3663d7b9a077a3a384ff1a18d64ed1342dd97","datavalue":{"value":{"entity-type":"item","numeric-id":3447692,"id":"Q3447692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0082a5b99d04e2a5ac86a086ca40b132f447c08d","datavalue":{"value":{"amount":"+0.8907025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$4BF1C82A-23A6-4180-883D-0DE202B4A2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf525635ff57f85e37544a8e7620ee948336ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1675143,"id":"Q1675143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04ea29a5bdf3f3058a9f927c77971175f6d7f94","datavalue":{"value":{"amount":"+0.8817629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$C291DEBC-AAE1-456E-ACDA-7D7F961CBEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bb6d11c8b07d377ccce7d4868bf7e6bbcb0d04","datavalue":{"value":{"entity-type":"item","numeric-id":2636516,"id":"Q2636516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9e4af6f03aecfd941b0215e5d358eea195c378","datavalue":{"value":{"amount":"+0.8783926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$13A17F08-AAFB-4F13-A62B-44AAEF625B0C","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":"862c7e6d0d6c6ad795eacbccc3188b39abc690ee","datavalue":{"value":{"amount":"+0.8769278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$2299AE56-A173-4E4F-8AEE-1A1550755EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f70b7e57a58656a089f805fb186a6cc751e5af","datavalue":{"value":{"entity-type":"item","numeric-id":6135744,"id":"Q6135744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918f02a975f36909c61f24da22d543facf9b611c","datavalue":{"value":{"amount":"+0.87682223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$938FDB11-0223-4823-89FF-BFDD3BD208A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dd54781cc405aac8c47da3c15bba964c964c62","datavalue":{"value":{"amount":"+0.872863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$45ED60EE-69CC-469F-A5CD-E72A51A48142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363e557902d6ca65c406e41723c99433978f326c","datavalue":{"value":{"entity-type":"item","numeric-id":517046,"id":"Q517046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c075a7b771abf11dc264ecc05af2f3fb47a7572b","datavalue":{"value":{"amount":"+0.871238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$70104236-E90F-400D-AF37-5386F3418FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc0a1f7da5983dd75ffff758a1f9f780b5fa0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5025061,"id":"Q5025061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1e29c95479038aed791578a018a92584132114","datavalue":{"value":{"amount":"+0.86486554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$C1AAB733-5196-4CCD-A8A3-52E60DDF07D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4501dddec981897b1790131a125ebdccbacb5284","datavalue":{"value":{"entity-type":"item","numeric-id":5166678,"id":"Q5166678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5bbacec7f736f5b63162c1a62e652ed982893b","datavalue":{"value":{"amount":"+0.8645217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$9AB67DEE-BD96-46A8-A84C-C7E170F424A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d333130ba54349f24f434e842015cc5f8a23aac","datavalue":{"value":{"entity-type":"item","numeric-id":6103006,"id":"Q6103006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81dbb2dd59a5c64431ec705e94dcf1591340dbd","datavalue":{"value":{"amount":"+0.8628257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649397$CFF29BA0-20F1-4FEB-90D4-805E397AE28B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649397"}}}}}