{"entities":{"Q6045063":{"pageid":13179219,"ns":120,"title":"Item:Q6045063","lastrevid":47854174,"modified":"2026-01-02T21:33:57Z","type":"item","id":"Q6045063","labels":{"en":{"language":"en","value":"Fairness, assumptions, and guarantees for extended bounded response \\textsf{LTL+P} synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689397"}},"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":"Q6045063$3B624721-6236-41C2-A60A-6BEE46A6DC75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f75874d4dee5a4252cbdc50d3041efc4d13e8eb","datavalue":{"value":{"text":"Fairness, assumptions, and guarantees for extended bounded response \\textsf{LTL+P} synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045063$7D83FEE7-6810-49DB-886D-18E5FC26BE32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75e8f43df964b56b80f31351cb41004a095ea203","datavalue":{"value":"1522.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045063$FEB3AFEB-C154-4ED0-9409-8DB93113931B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1acf7ccb3ae072c7b8a08df25f09168621cbb6c2","datavalue":{"value":"10.1007/978-3-030-92124-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045063$8A7B2632-0A17-4884-94E8-DD1117166CC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$A2B64E71-88D0-4C81-8CDC-AD04DEF8C005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$38562CA5-8371-4D52-83DB-7A3117FA9C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$504711CB-9725-4729-BD72-13422AB71EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$2B46F717-399C-4A9F-85FC-BCA5CDFFA88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$550E9A58-21CF-4C32-BB22-5A326014E987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$507C2C8D-5396-4190-90C5-4692874C96FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045063$AC5FEE8C-C05E-4334-BFB7-CEEF363845E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045063$E24D8CBB-95A3-4848-B13E-BE00D3783412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045063$C6856C4E-80FD-4619-A06E-5FC2176D7FB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75d741b0b81ee1bb2dcc72c581f7f781d6e06cd2","datavalue":{"value":"7689397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045063$CE9C0A03-0F8E-4197-8CBD-3C9F0DB455B1","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":"Q6045063$1FC90442-AFF4-41B6-A068-11741E10EEBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8d725646855b677935157289f552e46398d0570","datavalue":{"value":"https://doi.org/10.1007/978-3-030-92124-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045063$09A92D92-494D-4029-99E2-0DE9921C948C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"246cb50b21166a0a99838a0c4bc7eb6ef278afe9","datavalue":{"value":"W4206280108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045063$DE606F34-9756-4E50-AEC0-D25772AC91CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$78C61A94-B36E-4E58-8BF1-CBBB2CC04A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$8BC53879-82F0-4D84-A711-CED48AFF5C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$7E2E9DC5-09FA-4085-A759-93165A8CC944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299f0e222fa0320068daa86655dbdc8583b9cf48","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$4FE63B8B-EA79-4213-9507-017C57E7B0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbb3d368752104ef954ffa0a463fc7e2860ca29","datavalue":{"value":{"entity-type":"item","numeric-id":6045009,"id":"Q6045009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$0442A9A8-9FA3-4F4E-99C4-B7801EE00423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d04c5f4ad33f5228976d2d495af9a574068a0c","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$5787B76D-EAB4-40BC-A24D-7ACF6A2C3F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a6fb179be4f0deb772b6a4020e8dd61c6e66ac","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$16F02A36-849B-4103-9390-3621ACDDB70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$7E70C304-BEC2-43D2-BC67-6027599297EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$0910D6BA-4D03-47AE-B179-7654372D89B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045063$51B712B1-F0E5-4414-8A93-8758BBFB5B7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c9f05136570d048d64e745c90b36ac12959e91","datavalue":{"value":{"entity-type":"item","numeric-id":1982646,"id":"Q1982646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b950bb36ad9cc455350c6bda543e907536d282","datavalue":{"value":{"amount":"+0.7964047193527222","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":"Q6045063$23274936-F1AE-4E97-B469-7AC50E5DB7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ecdbc4d463644f2faa2eefbe26a4c9b87c1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069ee491ed11cb0a8c8df01e75788c6e868f1a15","datavalue":{"value":{"amount":"+0.7579729557037354","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":"Q6045063$8A19D339-38C2-4183-8E3C-7C9177125CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a35817cac7a82aefaf5ffbcbd77ac577e24346","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14f1f3da318e0df21e785b75edbf3eb16592a82","datavalue":{"value":{"amount":"+0.7527877688407898","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":"Q6045063$AC0C5840-8D1D-4C7D-8A83-B4052D9047D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d4cc7fc68863b609f26466f33191717ee4e013","datavalue":{"value":{"amount":"+0.751915693283081","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":"Q6045063$D8BE7532-9B0A-442C-88C5-0F68E9651E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862b9e8d66ba4fa04795b31c09aec69cd370a49c","datavalue":{"value":{"entity-type":"item","numeric-id":5391527,"id":"Q5391527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fde2e413b43961c41e6d015aedbac6c15564449","datavalue":{"value":{"amount":"+0.7507936954498291","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":"Q6045063$505286F9-774E-4FC4-8FFE-EAD3D7A05790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045063"}}}}}