{"entities":{"Q5357698":{"pageid":7387272,"ns":120,"title":"Item:Q5357698","lastrevid":41136142,"modified":"2025-04-18T11:10:50Z","type":"item","id":"Q5357698","labels":{"en":{"language":"en","value":"Reactive Synthesis Without Regret"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774206"}},"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":"Q5357698$6E11BE67-4955-465D-ACCF-4B93C5EBD97F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fea7efd246cc12c8763abf691bf42ad74e2b0576","datavalue":{"value":"1374.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$80A9E5D7-E82E-4B32-A6BD-0A9BE8B071CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e02e2a844383019034a4fa137108ece6484413","datavalue":{"value":{"entity-type":"item","numeric-id":444379,"id":"Q444379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357698$5109FA6A-E4E0-43BA-B8A6-2047E2B69C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ddb7731189a0bd2a79fd0deca3c370c746820b4","datavalue":{"value":{"entity-type":"item","numeric-id":344559,"id":"Q344559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357698$D209FE71-5A1A-4718-B256-254679EE9BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357698$8BD5EC54-EDC3-4125-88EF-C790BC1A077E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357698$E4B934A7-B459-4B79-8587-C68B865EFF0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$C390BED0-83A2-4776-AE56-6F772F95C195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$E434C593-DBBC-46C0-BF5E-D1C1FDBD0DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$172FE14E-6B01-457A-AFF5-44F78D0708C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$6D5F312B-5773-451E-AE87-408FBB1C772E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$7540EA17-D932-4FFA-AD42-475CA9F92E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$5D8FE984-B808-480B-BF13-75E67D5B9CFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8092f5fdc3ddfd1daff2840ff9b8bfabe4ba780c","datavalue":{"value":"6774206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$CF3EF2AF-FD28-490E-9FA4-A746C576C84B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40270d057a86e15587a260a12f787c15e0349adb","datavalue":{"value":"quantitative games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357698$5D4BA829-F723-4E03-9DFD-F77BD03CF28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af637498c021118a08b6b4f4d04cef45ea88a21b","datavalue":{"value":"regret","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357698$8F0D21B3-867D-4FCF-9095-EB4FB9E715F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357698$24B30E82-06B1-4532-BADA-6882F7E222CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357698$49D6E713-6F14-49B2-8D89-EE54B6B06CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357698$2B63F66C-72F6-4BFC-872C-5E799E33E799","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":"Q5357698$0CC1F8FF-0A04-4B55-9890-2A393411B6C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7cb6847b6ed89b5c0e5f4260875ee23af237017","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.114","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357698$84017C48-8577-4DE1-B1BC-F97963A82D23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc74854e444383f452fb5c770001444ea65f3f53","datavalue":{"value":"W2585485343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$41022FBD-38D1-4978-BB71-35F22A1760D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838d4e3670563c4a08582b868adebf7d977095c2","datavalue":{"value":{"text":"Reactive Synthesis Without Regret","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357698$96963CC4-B0ED-4E5E-A27E-3BCAB109F6C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea341c361ea51ec11b5402c58ccf2c50eaee5e44","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357698$0B108B0E-C2F0-4B84-B0E5-C2872333E324","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618a5c9b2144a7ecf54977f8ee0e784e7b58f530","datavalue":{"value":{"entity-type":"item","numeric-id":520338,"id":"Q520338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$0CC02AEE-1065-4CBC-8C5C-A28E67F79600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4d117e8f7a742dc46d5c5ad9e32045742d6bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2675812,"id":"Q2675812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dcf21fb942de4d2facf0989e65e758517f0af93","datavalue":{"value":{"amount":"+0.8920542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$5584738F-8D8C-45B0-9108-9CAADC62780C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd0f7683b3d15685c10ba502a1f9a9acd9289f4","datavalue":{"value":{"entity-type":"item","numeric-id":3460581,"id":"Q3460581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fe2171a4e6f438f4a2416df50f400c6a7d2bc1","datavalue":{"value":{"amount":"+0.85261744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$A1448C7B-F51B-4014-9607-5703E2491597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11089d534dfd0a93d4cd6e450a6d197efe9967f1","datavalue":{"value":{"entity-type":"item","numeric-id":6485897,"id":"Q6485897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87814e68b288c21854a6fe93ad4e04d2b76a6796","datavalue":{"value":{"amount":"+0.82635057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$6660B215-E7CF-4305-ADDE-C9BD0723EEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d65841f94054456caebfb74f716ed59d54e4196","datavalue":{"value":{"entity-type":"item","numeric-id":6102166,"id":"Q6102166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b17d95313caf8211fea361fada368787f4530b5","datavalue":{"value":{"amount":"+0.82206076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$AC7FCC52-70DD-4D2E-A4FB-80E41DE381D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c34d417690e913fca0673a31e31ee888159dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":2147214,"id":"Q2147214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d789948b3bcc8965691e0de4d635fda99d6f5b","datavalue":{"value":{"amount":"+0.8155344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$6A7BF7FA-4D65-40EB-A49F-C9FC739C1AC1","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":"5472184d6cf2948c4f816b2e47f4c304db7b611b","datavalue":{"value":{"amount":"+0.79410714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$FBB37330-6A9C-4EE5-ACD9-579D3AA134F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95abc71f2abc55160ecb4e72680f41e3062530e8","datavalue":{"value":{"amount":"+0.794107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$6E60DD14-C78F-47EB-9361-BF16C44EFB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ca228d272bc950ff57fe5d098526a856f0126e","datavalue":{"value":{"entity-type":"item","numeric-id":5114219,"id":"Q5114219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdf81ecc1f41767fefe31353368eb1e41cec51e","datavalue":{"value":{"amount":"+0.7767785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357698$74E1019C-7718-4930-9CE0-F343AC2A6E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357698"}}}}}