{"entities":{"Q2303871":{"pageid":2314614,"ns":120,"title":"Item:Q2303871","lastrevid":57842115,"modified":"2026-04-02T18:36:37Z","type":"item","id":"Q2303871","labels":{"en":{"language":"en","value":"Practical synthesis of reactive systems from LTL specifications via parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7177455"}},"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":"Q2303871$7D2303DB-0BAC-41F2-B046-01E5C5A94753","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8f67bb856841223aac9fad989fec5b52d017d5e","datavalue":{"value":{"text":"Practical synthesis of reactive systems from LTL specifications via parity games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303871$DF8B5A36-B51E-44A5-94B1-96FE56ADE570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a7d94f8a9ecfca711dbce06203681f206dff70","datavalue":{"value":"1435.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$25663C3E-244E-4854-AC70-AFE8708B4BA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"588d4cd6027e05d734af16e4bd4c6f301c53cc51","datavalue":{"value":{"entity-type":"item","numeric-id":418124,"id":"Q418124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$CD068F7F-D3CF-47AE-9396-30C8281499DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3b09720296daf40b637185fbc6963a5c4e6f90d","datavalue":{"value":{"entity-type":"item","numeric-id":2058385,"id":"Q2058385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$CB1A2C67-8220-40D2-8B66-F82C75F03FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$FB681FA3-8CF1-4CBE-AED9-3A02803F72AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$73A20BB2-5517-40EC-AC1A-AA93C05FE3ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ace806cab6bccffe2dd3b0bf0eac605327f868","datavalue":{"value":{"time":"+2020-03-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":"Q2303871$FFF77200-F0D1-4BB1-8C0A-649702E954DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e275f354c46dd2b303be87e083ce3be6775b6236","datavalue":{"value":"https://arxiv.org/abs/1903.12576","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303871$858CFEC3-B8C7-403A-8353-4A0655F6CD74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$EE680563-A772-4AD1-B5E2-81371E719F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$AC9721BD-6E03-4233-B35B-BBE33F1F7E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$9E86F990-0F3E-479F-AEBC-0FD0BB025A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$0956C171-85D9-49FF-B0F5-4F0097DA7106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$1275D449-11C9-428F-8EF9-18F4573134D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c668b96b71eb6946eec4fce38de38e3c81aec1b6","datavalue":{"value":"7177455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$41B0AD46-F2E7-4A7C-80AD-9FE408D77EA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$80447A9B-9363-4449-A62B-5859134498D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6976c9708a5aa9505c1c237bb7aa5bd5a0ecc30d","datavalue":{"value":{"entity-type":"item","numeric-id":5972886,"id":"Q5972886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$6C2B5F21-D0F6-4789-A71A-3D096CF28343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$44697818-8ED7-4E3C-A9E9-8F2AAFC89E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31e047a037d843c73f570b063930e8b1255958b7","datavalue":{"value":{"entity-type":"item","numeric-id":5974888,"id":"Q5974888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$BABE55A8-0E11-41EE-839D-BAB2E51F7663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$55792E53-85F4-47C0-AAE2-779BF54BD308","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":"Q2303871$6C1B9133-DA05-486D-8D8D-393311981F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$95A50394-94FE-4AA9-945C-2B30B9CBB744","rank":"normal"},{"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":"Q2303871$125BA628-1125-4ED5-9575-0CD33FD56972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$D51B7689-B336-4D78-8A24-724C8A8779CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a85031fb0713ae5c27d157a52cfd6a0c9a84230","datavalue":{"value":{"entity-type":"item","numeric-id":5972836,"id":"Q5972836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$7A8E5008-F541-4C48-8880-4C6E83BEF8A0","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":"Q2303871$E906E7DD-8A42-416D-B362-F16ED48AB571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8e650df73e99241287dec8eb53560cf5f9cb9b3","datavalue":{"value":"W3126104235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$0F4ACEF6-ACC3-4CFD-9B99-E05D62547845","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$885655A1-397A-4085-81CA-985D673DFE51","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":"Q2303871$872081CB-049A-41A0-ADD8-85F2DFB7EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702f164b710b34adee69b0aa6937212bcccd3a9d","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$0419617D-9BD0-4EB7-9623-8BBB92E39B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfc2abbce44972b8bb802564404a2fe7acfe5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3303906,"id":"Q3303906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$27E38CC5-189A-46DE-A749-D7859C359FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$917ABB74-4D84-40FC-98C8-14A3C582B17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$CFDB2F29-6ED2-4EF7-9434-CFCD19E11FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a856ff54e615adffcd82c431c11b9fba912bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2909223,"id":"Q2909223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$39C55461-DAAF-4AD9-85F5-8B3151E0A8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0257e75248b442dac60fef4e65b0c3537f7619f1","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$AD571912-AD7E-42C3-BE44-284C4765854D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$83CCEF98-50FB-48AE-9FF6-3446FEC23C4D","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":"Q2303871$0FBD5C53-8097-4B10-A8E9-94D6E0685874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$B627F24C-1529-46F4-962C-A7F5C100FA6E","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":"Q2303871$3459FA67-5FA2-4003-8AE4-3C193C1EF34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6242e3bb9ae42e7f42565ab98d4f8cd4a7dc19fb","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$C8F58BA8-C760-4924-BBF7-63158E8D5672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46fb2f0a1d882719880fab224bfc440876205fa8","datavalue":{"value":{"entity-type":"item","numeric-id":5151002,"id":"Q5151002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$5A709D9C-9756-4C90-BBFE-C98B029A11A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be5d2185f8c51f7a3428dc8fb1cb0ae85aadb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$50A96701-2CB6-4E08-8014-24BAF0C4544C","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":"Q2303871$5D761665-7F32-4453-BCC0-EC4F6CB0ECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303871$17385FD2-7428-4313-A204-6E92062DD76B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf4e1a488eb1cc95b3dc0c4a5274e040d1e68df4","datavalue":{"value":"10.1007/S00236-019-00349-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303871$849157B7-E264-4E77-BD3D-286837C4C890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18ba10a8f5acd460c746708e553ea1ac263efa","datavalue":{"value":{"entity-type":"item","numeric-id":5452725,"id":"Q5452725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6256d929d0747236acf79b6df1a7bcb5905a84b","datavalue":{"value":{"amount":"+0.8174852728843689","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":"Q2303871$373FB950-64E9-4293-B89E-CECD810A0497","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":"d8df4544d9f1e38a1917889d0e4654a744b58913","datavalue":{"value":{"amount":"+0.8168903589248657","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":"Q2303871$72569C13-EA97-4124-A0CD-CFF7A5EBEA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbb976e4111f489dde7bd3a7f1e79693bd91bc0","datavalue":{"value":{"entity-type":"item","numeric-id":5151002,"id":"Q5151002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7132a8b94ff6e4954af4c14f50e583eec4f011","datavalue":{"value":{"amount":"+0.8030387163162231","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":"Q2303871$DAD6E430-C969-488A-91A7-668C198C2C61","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":"e604fb597440e1a7ed23ef66eee86929ff6993bf","datavalue":{"value":{"amount":"+0.7946732640266418","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":"Q2303871$24032FAC-A4F8-4C83-BCA7-B71FFCA12AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41947010d546ec1cebf91bfafdefec35bf61cd2","datavalue":{"value":{"amount":"+0.7838633060455322","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":"Q2303871$75379553-581B-44BC-A907-7521FCBA046C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303871"}}}}}