{"entities":{"Q4598263":{"pageid":6627848,"ns":120,"title":"Item:Q4598263","lastrevid":52981181,"modified":"2026-01-23T23:16:31Z","type":"item","id":"Q4598263","labels":{"en":{"language":"en","value":"The complexity of rational synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820310"}},"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":"Q4598263$F59C576C-1FA2-4BAA-BD0B-74B40CD5D220","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bfba12efe74f6deed226128eaa68be7b034b828","datavalue":{"value":"1388.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$AFEC2335-F24A-4110-9D58-438A6B6B305C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396a83581d874d364a544efa9495dbd7e5c42ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2225592,"id":"Q2225592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598263$AB206E7D-478D-4EC5-9721-A6E9B6E3929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598263$EADEA5D2-65D5-450F-BE63-2740724254A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31503e637e24a4112218e0870b5d341cabb000e0","datavalue":{"value":{"entity-type":"item","numeric-id":2446597,"id":"Q2446597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598263$423707A1-2EA3-48FF-A7AA-198C93AD0F03","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":"Q4598263$5B877437-CD23-4EF7-9B96-3F659E4C54D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598263$FB697A8D-9A63-4AF5-BD8F-3734A83DB10A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$8D4D460E-F81B-47BD-A627-73DDAED711E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$5C90E19B-99BF-4C3D-8C98-EDBB55A7B5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$06092DA7-0B75-49F2-8134-6B95381E0B51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35bec7fd2999739a32b6c9cede8eeeb75d0b2682","datavalue":{"value":"6820310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$205BF488-EA73-443E-9CBA-56C4FC56090C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d22afc8849076cd2d8a3d55502ee14ed9caaa054","datavalue":{"value":"non-zero sum games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598263$7204EC68-73EB-4203-9F70-215B58574A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598263$FB479584-0F8C-414E-B469-CFC3F79B725E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de74ddf5aa13c395c508b68295af4fa33c3817fa","datavalue":{"value":"omega-regular objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598263$18FB0889-6EF2-4912-9999-2C0E11C29FB2","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":"Q4598263$11504641-A145-4435-B4F4-807B723C6172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af9b3557ec53434411af16a886f411d0c5c8f2f1","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#ConduracheFGR16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598263$A7006DDA-E150-4661-A9C2-1A03CC309E2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2331a77466b14271fa30604b8344c0ee180fa43c","datavalue":{"value":"W2533969236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$98C3F146-45D4-40D8-AF8D-29C831E6891D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"492c232e2f6331d4ba6cd67502dcfebc1b2be322","datavalue":{"value":{"text":"The Complexity of Rational Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598263$52005885-BF34-4100-BF31-5A8CAFEBCFC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"776959cadb8e5176cd8ff2b3c2dcc1a66a873d2b","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598263$E1C865C2-1B5E-4BC0-840D-A68314E48EA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fa38d20d2cb88a0aeaf352c8f48165b0fddfbf","datavalue":{"value":{"entity-type":"item","numeric-id":5009456,"id":"Q5009456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c108d24d73716650c4a258c831899f4de9135ab","datavalue":{"value":{"amount":"+0.895606279373169","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":"Q4598263$BD42EA42-B55C-45D2-BF25-DD147464C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39b6e4e6d9739ccc31978cac8480e6eddae9fbd","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4b9d4ef576562aa2598d8365fbbc663b0acbd8","datavalue":{"value":{"amount":"+0.8161383867263794","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":"Q4598263$860ADAC2-8AE9-4BBF-8655-C026826D2659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7035debba599a3625695af5c0b6af3adba031711","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f800762996a002ab00731438e2353beff382bc","datavalue":{"value":{"amount":"+0.7914126515388489","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":"Q4598263$749E4A53-F55E-40EA-9BCE-5FE3CD81E0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97c18f68eec7c743aa33fc897008ac92cee1577","datavalue":{"value":{"entity-type":"item","numeric-id":5145317,"id":"Q5145317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abff6e48a5292733a078455a354a7e803d31b3b0","datavalue":{"value":{"amount":"+0.7601330876350403","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":"Q4598263$37AE040A-0605-4C3D-A893-2BC9B765E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b881948e1133609ca295bf3dcd6587ee20c87a","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c1afb9412857e317e59d00061bc5db024144c7","datavalue":{"value":{"amount":"+0.7410382628440857","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":"Q4598263$EC359A84-F9EC-4FF3-83DF-B5125F05E75C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598263"}}}}}