{"entities":{"Q3297600":{"pageid":3308308,"ns":120,"title":"Item:Q3297600","lastrevid":58138047,"modified":"2026-04-03T23:21:52Z","type":"item","id":"Q3297600","labels":{"en":{"language":"en","value":"Efficient trace encodings of bounded synthesis for asynchronous distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222933"}},"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":"Q3297600$549AA657-7469-4AEC-915B-D0CEE69A5A22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829a568da28551929bcfab575f9212f851afea8f","datavalue":{"value":{"text":"Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297600$11AF72CF-350D-425E-8971-998D51AC4C94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75f920d5f33efee1e9bc938e5c9c6ab551b95cd7","datavalue":{"value":"1437.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297600$29FDB673-157E-4096-96FF-499BC185A80D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8f0e6b63990844bb4ae2b0bc79c5dc506468896","datavalue":{"value":"10.1007/978-3-030-31784-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297600$BE693580-846C-49B8-AFE3-A799DC94CF22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aaaf79945ca22e0f3477140cbecb983df8b222d","datavalue":{"value":{"entity-type":"item","numeric-id":2226721,"id":"Q2226721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$27FE7391-E74A-485C-B787-7D092BE3F7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f566cb3f0598e991b8afd888702f797fbd377ac","datavalue":{"value":{"entity-type":"item","numeric-id":2147188,"id":"Q2147188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$A066E931-B98E-4818-841E-1BA03975DC1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$525A4E4D-2236-460A-AB7F-561B2A3722D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297600$BEB6E520-F00B-487A-B9AB-84AB13703A69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee9255abf3188711c9e01f88b418ed2b92c9d122","datavalue":{"value":"https://arxiv.org/abs/2004.10413","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297600$78970B8D-9EDE-48FC-9F9D-B4C87F6E89B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297600$50E5B308-4568-4D29-9306-371D5753CA75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"624327b16d21294acb79e01c88565c5bd6aae8fb","datavalue":{"value":"7222933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297600$39700AF3-B2B7-4074-B218-EA697279664D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85e34e76a2023e4f73428ca779702fd03518ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5974450,"id":"Q5974450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$1653795B-224E-4998-8758-3D56B90D6A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$3FAFB77F-16B3-4E34-AC12-6610B9179421","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":"Q3297600$75980E44-B636-4F26-9E53-7A04B92B501B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c5f7741f86f3dc3b26f62a2dc7f25cd27134bce","datavalue":{"value":"W3098667402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297600$65824366-628F-45CD-B8ED-F6CEFA1A8B1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff42ef43c612a824794743fedcf10ddb41a93e5","datavalue":{"value":{"entity-type":"item","numeric-id":5875388,"id":"Q5875388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$6F4AC5AD-BF4D-49A0-8CFE-3DDDB1194CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9b30d436cc415235444ceb3d9d67b46cb47f93","datavalue":{"value":{"entity-type":"item","numeric-id":403021,"id":"Q403021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$BB4B185E-C73D-4BE2-96D0-C4A4CA1DBC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44410af1243ffce9ef035f8f4e879f1bb5267de4","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$54829234-66A4-45AE-B142-5CB93C7BCCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$960A0D98-5D61-4A1E-A5AA-D4C72D7E61EC","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":"Q3297600$FE4304F5-F7DC-4001-97A8-D9EFE8A136DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aad40e50dc07b7f7de0a5587443b999e837b95","datavalue":{"value":{"entity-type":"item","numeric-id":3449635,"id":"Q3449635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$5717FA91-F4AC-4C40-9D95-30BC5E7F589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510f911e9fdefb78030bc5c4c88bcd4c598a6fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5136320,"id":"Q5136320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$2A004306-036E-4DEF-B33E-E7E11098839B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa28f7cce45b79df67b0f4e78b2d37ed34847f2d","datavalue":{"value":{"entity-type":"item","numeric-id":515654,"id":"Q515654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$BC2F24EA-C8EF-43D9-8375-4ED681590E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$F5FD2CEB-E206-4B7A-A88D-9EB41AC2D42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$3D8E652C-A0E8-4C83-969B-999973CFB3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$33D09F5A-30A1-4EA5-9CE0-D4A3719E56A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$54F1B4C7-18FB-4105-9428-B8C8D19919A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eaae5f3f3287304f74412ab11d87eda5bd150f","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$67A73EB6-6D7C-4D5A-ADCC-C6F21DF49A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a4674bb2c9cdc7012d8653bff435a767ba1f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5136322,"id":"Q5136322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$A31FCA62-4D32-4EDB-AC22-D55707A01239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13f72af1635e63edcc3c1bced953b812dc57878","datavalue":{"value":{"entity-type":"item","numeric-id":3384880,"id":"Q3384880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$214C86B6-4C3C-4704-986D-EAD3C320C18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66033f43f58869667a3e65d22bd41d465395f07f","datavalue":{"value":{"entity-type":"item","numeric-id":4264234,"id":"Q4264234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$2B300B54-5A87-43B2-BD4B-EC79170DCCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$F9EB54D5-8782-48D6-928E-ED356D357267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e822826ef2497f550a67f6305020a0e46bc0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$92D7C61D-70B0-41E5-8155-2C96A1E7D5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$1CEE2A83-F7FD-48B5-A974-4040297B5AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32e474500b7d14c2b1ab7cfe1674a4cf2d6cda9","datavalue":{"value":{"entity-type":"item","numeric-id":3449462,"id":"Q3449462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$0E26458F-E72A-4506-A0FA-C458437CE9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782615f367b4c7981c5f415c8f3458e7e600e9de","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$9A8B65CB-C3AE-4816-9F48-AAD24E02FF15","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":"Q3297600$61CE9239-BDB6-4FA3-8752-F17A4968043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$C9E2BB39-2886-4951-B8F9-07F2D781B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759a3fe35509401001b165ba0d5ab1dfe3649ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297600$0A1C087D-E87C-4150-95ED-16EFFFF0AF44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e99423f2f914a007127e81256b9f5dfb951dd8","datavalue":{"value":{"entity-type":"item","numeric-id":551202,"id":"Q551202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f4e07c56a7618fbbd94459ef9a3ba18d115019","datavalue":{"value":{"amount":"+0.7352705597877502","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":"Q3297600$9FB99848-3FA5-4FC7-AFE4-5A132A2EA77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91a57dbbc550366fada2bb15e058f044313cf1c","datavalue":{"value":{"amount":"+0.7344818711280823","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":"Q3297600$76313D0F-69E4-4366-B24B-3349F4FAA86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c265861856e4e9094d11250077731a3a1195d2","datavalue":{"value":{"entity-type":"item","numeric-id":5900556,"id":"Q5900556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68009e0e8e67559e017a610224cbab91fff20308","datavalue":{"value":{"amount":"+0.7270873188972473","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":"Q3297600$88703C5A-A043-4776-B928-4E3BD4EBA9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fcbf3e2de45ce6b35164c3748dc01f196147d8","datavalue":{"value":{"entity-type":"item","numeric-id":3184669,"id":"Q3184669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b6a866fb9cddc042164e1fb591e5fe70ef9dea","datavalue":{"value":{"amount":"+0.721379280090332","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":"Q3297600$B9A0DCF3-ED64-425E-B886-88A41C82433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481d2e452d137defe46997ab09a932b481feaa15","datavalue":{"value":{"entity-type":"item","numeric-id":2891421,"id":"Q2891421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781432b5f2c712156815daf202233fbed035b2e0","datavalue":{"value":{"amount":"+0.7170272469520569","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":"Q3297600$8EDCA416-A560-4565-BD49-F470E2535996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3297600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3297600"}}}}}