{"entities":{"Q5020522":{"pageid":7050099,"ns":120,"title":"Item:Q5020522","lastrevid":59694147,"modified":"2026-04-10T13:35:23Z","type":"item","id":"Q5020522","labels":{"en":{"language":"en","value":"Resource-aware automata and games for optimal synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453076"}},"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":"Q5020522$E4114B3A-A9A3-4296-A23E-633519F7FC4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020522$6FC6A31C-75A6-4BF0-8734-8606748368DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c4691b77f81caabd64a3a28c8e5e35df2a72ea6","datavalue":{"value":"https://arxiv.org/abs/1909.07656","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020522$A7264653-EBB1-4556-85FB-35120F18456F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"52a11eceea644a7198cbdf54e54bc2f9abf16860","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2019.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020522$3259F5FF-4662-49A0-A47E-41BA9A3FD065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020522$61726CE8-62AB-4E2B-90C7-548C3CAB9B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020522$9C5A13C9-F50E-4F1A-B8BF-AE808FA4F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020522$A9C6BBE6-2DBF-45DC-876B-C1B08E2A296E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca601ad3054a07e415f5d7b4109a876b5070c529","datavalue":{"value":"7453076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020522$28A661C3-1004-405D-ACA2-975FFD9C3A18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$9F4D8F70-2E6D-4C0F-A520-E5BABC42760D","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":"Q5020522$72CA7A81-B2D0-497B-96F0-86210900078E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$9503FB2D-B489-4FED-8E82-9F3629357752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$66595804-782B-4C26-870A-58250403B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6ea6c9a77f520afb04e0fcbf799ffc9143f4","datavalue":{"value":{"entity-type":"item","numeric-id":1758152,"id":"Q1758152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$A19625B9-D151-4AB2-9210-20B29C19AA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440d80f9f1e8ae5498f6228abef335d0392e15a","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$3FF94C71-96E8-419B-A965-CDB69D27FCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5c03aede2942d03ff8c30298a92b4d24372893","datavalue":{"value":{"entity-type":"item","numeric-id":4589615,"id":"Q4589615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$454620C5-D974-4CD4-8D90-EDB3C803AFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89368364142880546c00a220291e48a0b4ad7d86","datavalue":{"value":{"entity-type":"item","numeric-id":4580202,"id":"Q4580202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$C4C7680A-7C20-4316-A486-62781EC8282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b86e67b2a6f8cdf93897e49fb312dc5e360f35","datavalue":{"value":{"entity-type":"item","numeric-id":5495107,"id":"Q5495107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$208C0A6F-C6C1-4D69-8653-0DB7DB38CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$115B24FC-6559-455E-92ED-34AECF04F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$7BAA006A-2A9D-4BD3-8759-E5696501132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$026B1830-C912-428F-8B46-90D0405D5367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b18be4e032dc84269ed74b936167d122f96008","datavalue":{"value":{"entity-type":"item","numeric-id":5079761,"id":"Q5079761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020522$AEE8612A-17C3-4583-94B9-A402B898C023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f3c17b25d9847962dd635dc46fa997dc3ffdb0","datavalue":{"value":{"entity-type":"item","numeric-id":2996144,"id":"Q2996144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e42f1c0b10a669a090fed8f5980a8c73099d02","datavalue":{"value":{"amount":"+0.7863975167274475","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":"Q5020522$D0640AD1-A7EA-439F-98E8-3DC090B62DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ee4f278df7f8b1bed70ed0dde6e6fe33992314","datavalue":{"value":{"entity-type":"item","numeric-id":2908881,"id":"Q2908881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792488c7ffff1471de464f041f83a0f558bc7e45","datavalue":{"value":{"amount":"+0.7746198773384094","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":"Q5020522$BA20D268-AF28-46DC-A1C6-923778DD7600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1e85f3e233882df94e9846f760030f6fd38782","datavalue":{"value":{"entity-type":"item","numeric-id":1758152,"id":"Q1758152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197a47ddb0235d44ff0bf3830269732e177e6912","datavalue":{"value":{"amount":"+0.7684803009033203","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":"Q5020522$8F286689-FFDA-4FA6-980D-1E3BB6E95455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020522"}}}}}