{"entities":{"Q5090979":{"pageid":7120555,"ns":120,"title":"Item:Q5090979","lastrevid":94276355,"modified":"2026-06-05T06:24:18Z","type":"item","id":"Q5090979","labels":{"en":{"language":"en","value":"Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561343"}},"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":"Q5090979$9472C38B-2AA5-4AB7-A95A-D629D14CBE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fc8a6bce42d803eaa16dfe814a69df07873961e","datavalue":{"value":{"entity-type":"item","numeric-id":326848,"id":"Q326848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$AE8A956A-E4C5-4CF8-AC0A-60297E4D3B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ddaa797fd408ba216a082a830ecd0f7c7623ec","datavalue":{"value":{"entity-type":"item","numeric-id":315526,"id":"Q315526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$D2A195CB-6754-4C7E-B548-8A74BA63BF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c81ecddee79d99c8678fc9dd53875c5c797bf24","datavalue":{"value":{"entity-type":"item","numeric-id":526758,"id":"Q526758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$2D5FDCFF-C7D5-439D-9AC4-85C7591FB89B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090979$A9E2185C-A25F-42D0-935C-CDE7D3032C81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f67635a10e9576cfa082652db0dfca12d9e9164","datavalue":{"value":"https://arxiv.org/abs/1808.05791","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090979$A4C04EDB-CC38-483E-882A-4277F15B43C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090979$18EEAE24-4D65-4CC4-B4AF-8C5E00B6CC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090979$718DA893-14E1-4C66-8428-0CC35979C698","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"959b275be73ec01032fbae67bdf6d5b90d26161e","datavalue":{"value":"7561343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090979$AED510FC-7A53-4B6F-B132-43A4D6215307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d9b90d8cba59aaef1d765ae8eaeda7c123576d","datavalue":{"value":"games on graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090979$372BB582-91E1-4A62-89EE-9E0BE831B967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d3db876d83d423d70efe57334245881876d727","datavalue":{"value":"finite-memory determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090979$2EC15435-001B-4F73-952F-6E6FC6CE1DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538de9d6954a0aceb33e608d6927907e7f996011","datavalue":{"value":"multiple objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090979$EBEB5AAE-D5DA-423F-864D-4087A9C580A0","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":"Q5090979$959F50AE-5241-4991-BD5B-84893B1D5E18","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":"Q5090979$3E7231B6-99EB-48FA-99C3-35BB08FC1B40","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":"Q5090979$D32E6E56-37BB-4931-9BE6-C165A1C3FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb474b4c782696ef7a029f35642a9f6d2467fb04","datavalue":{"value":{"entity-type":"item","numeric-id":2988367,"id":"Q2988367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$F3086116-8AAD-4DD3-B377-ED917F7E4DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826cefc4038f541c64344fa6291ac9c6b70161a0","datavalue":{"value":{"entity-type":"item","numeric-id":2413482,"id":"Q2413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$C79A2DC1-B528-40E3-824D-496CB4EF0F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568c3ccc6936b77d68e20bdcbf6bde549d1dd370","datavalue":{"value":{"entity-type":"item","numeric-id":2798706,"id":"Q2798706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$E53A0BE4-E9DE-4FE0-85D3-EFBFCB933F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d1f90bf7921a387543324ae5e45f12c07bc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5015274,"id":"Q5015274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$477DBB26-42FD-416F-A2FF-D9B58924D15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d221d6ac93aa7fc27dd06f56429c5b24511cbfb","datavalue":{"value":{"entity-type":"item","numeric-id":4608663,"id":"Q4608663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$8805F8ED-BB7D-4F37-9D50-E759A8FA0F22","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":"Q5090979$0D5B5BB4-E98E-4660-AB07-F5A0B1B8B8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74f66062529dfa302739559bef840afdf019635","datavalue":{"value":{"entity-type":"item","numeric-id":2346404,"id":"Q2346404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$6C3B1BE8-2C8D-4F01-8178-BF608488BA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9cc32f7830e0996f59cec04dfbfdd93a06efdf","datavalue":{"value":{"entity-type":"item","numeric-id":5292630,"id":"Q5292630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$6B922073-6AA3-4C63-9B71-3E6F6DCFE801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77967261911b0e8c69ed8b8494c80615c4953039","datavalue":{"value":{"entity-type":"item","numeric-id":5758061,"id":"Q5758061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$B05C3627-9946-4545-BE55-F86AF26AE8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05859705e5fbb38f21fd006b6726ab74ea14b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1172002,"id":"Q1172002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$9414558C-4B13-4BE4-AFDC-2B6FFE421EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1b7f388fdb5a2941c646075e555063baf3e9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5311141,"id":"Q5311141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$19E2DFBF-B57A-4319-AFEA-454CFBDE2D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8779c8d2ad06b1c3ff3b57c8c872ef09e3b0bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5897499,"id":"Q5897499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$6A9F9077-9E68-4651-B0E6-777823D1F9C5","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":"Q5090979$DE5EF9D1-6FE0-4927-B87D-FEE248DA94B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb4f817511f1785d5460f6b2f24f2afd0f364db","datavalue":{"value":{"entity-type":"item","numeric-id":3449481,"id":"Q3449481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$9AD006D8-9F12-4370-B87E-BF4ECC04D8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c90b9b776f21e5a25c44f6d1cffddb7d10c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3591410,"id":"Q3591410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$B1822DA1-37E3-4B38-8872-5EA408F80CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$6FFFF86D-66F3-4452-B300-7C443D499BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6cc047b2380b09f03319b1e7e61e3441a2efcc","datavalue":{"value":{"entity-type":"item","numeric-id":1641036,"id":"Q1641036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$9FD2FD3D-DE3E-4136-816D-BB5D277A1478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c480cf53d82eff6a467bf58a6d02b1b7e71feccc","datavalue":{"value":{"entity-type":"item","numeric-id":2949447,"id":"Q2949447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$6FAFB727-9D02-4AC7-9091-5E7B15E5751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc0f666b33a322bac2501e8fea189671bd99486","datavalue":{"value":{"entity-type":"item","numeric-id":2343132,"id":"Q2343132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$1822BA1A-113C-475D-A1EB-EBB3FD2AF454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090979$001103CF-DF71-4BE1-9E8D-4A0DB3262F49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3441d82bc2b5a91a49eca1c85e7b11e2f6361f89","datavalue":{"value":"W2963055215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090979$EB080A33-36D0-462C-B424-41CD870754FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39c21fcce7468d4a1c5c2461c6e94e0ae8265b21","datavalue":{"value":{"text":"Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090979$865703EA-CFF9-4A79-9D5B-3FA4D17EBDC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47ba0ec04d9febcb5729717f3783d29a7297aa30","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090979$2CF9B37A-A7EA-40E3-BBB0-0C3A2B56D93E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395b3da9d9cca23a049378170325c0c16b2c1ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1641036,"id":"Q1641036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a079f6e71ee48d4d9973eb7bce8839ff1a40e94d","datavalue":{"value":{"amount":"+0.7885613441467285","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":"Q5090979$56B484E4-8D9D-4B0D-85E3-94AD038DF28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab701231cbe7bb026aa8e0aa06d826f8ed967724","datavalue":{"value":{"entity-type":"item","numeric-id":6124936,"id":"Q6124936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38dca2746b2784051f48f826cfcc890925ac96d","datavalue":{"value":{"amount":"+0.7878215909004211","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":"Q5090979$3AB9566F-D3F5-488A-AF7F-A4E657914475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88978c58bd9d6f2f8c6316a126a005f914dde419","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5257ca4225d0bb4ddf136615020771c5f2bfd2e","datavalue":{"value":{"amount":"+0.7840914130210876","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":"Q5090979$9F57B215-04C9-4E7E-B57E-29732EF9EAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5d49159a8984a9d5148762b22857e8367f5e4a","datavalue":{"value":{"entity-type":"item","numeric-id":5899063,"id":"Q5899063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd7681089f90777274ec87fbe8ffcde98bd9958","datavalue":{"value":{"amount":"+0.7811853289604187","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":"Q5090979$7422F625-C742-4B36-9E4C-37EA7361E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81ea37ebb966c09261b4a79e42e538d7ba616c7","datavalue":{"value":{"entity-type":"item","numeric-id":5028465,"id":"Q5028465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752ac52d04388485125246ed1e5e8a63d021ee28","datavalue":{"value":{"amount":"+0.7769079804420471","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":"Q5090979$10ECA046-E37A-4EC8-9280-B72808D8365D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions","badges":[]}}}}}