{"entities":{"Q2830208":{"pageid":2840945,"ns":120,"title":"Item:Q2830208","lastrevid":58023888,"modified":"2026-04-03T12:09:32Z","type":"item","id":"Q2830208","labels":{"en":{"language":"en","value":"Solving parity games using an automata-based algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6650023"}},"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":"Q2830208$10A6A3DA-6A6F-4C61-A9A3-AF1871CB1C14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b4fd61da66e560f5fd0a45c95732af1e886fb8e","datavalue":{"value":{"text":"Solving Parity Games Using an Automata-Based Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2830208$31AC9C06-DC2D-4A69-9A4A-E5536DEDE7C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c99a1a954dbd9a8d83c12764e6b1490a5a70d4","datavalue":{"value":"1475.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$E26B7839-56FA-4BCE-95B2-3EED1CC17BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"695c522b221a8411d3b7eeed82168653060992e9","datavalue":{"value":"10.1007/978-3-319-40946-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$5C3D77CB-2BBC-40FD-841D-DBD469AFED05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398ed3b0621029f46df6fc89cb789f5d8f39e24","datavalue":{"value":{"entity-type":"item","numeric-id":1616969,"id":"Q1616969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$A87CB5AF-25A6-4BFC-A82E-037C1E85F65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$FF472293-1591-4F4A-ADC5-513893569AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$6413BE1A-F18E-4B6F-86B8-B593DB37E93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$F14FC732-529B-4CB7-8367-FECCFED0B6B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$4EAC3002-8EDE-4530-9E06-0F11EE679B17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a075bd554bad2b16430b9c44ca6d378726682638","datavalue":{"value":{"time":"+2016-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2830208$9F4D9679-346C-45A6-A00B-AD8C919610C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a53f6e74f7140c14327bdb5278e45127868fd8a","datavalue":{"value":"https://arxiv.org/abs/1910.13765","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830208$38BFA630-705D-4044-BD30-C445E6210A58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$E0404656-31E6-4EF4-93D7-ED417263CB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$F9738A32-A9C5-4A2F-8CCD-FF6037B49331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$BF63D2A6-AA25-48D6-8EF1-345ED7B4B045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$947CD3F3-3A13-430D-A459-C4B1F3DCE204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c4e78fa1229ee9227ed3a7280c54b2a7f56e488","datavalue":{"value":"6650023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$1AB8B155-A21A-4D97-87BC-CED8C5563F43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$4103321A-990C-4B8D-9B22-F337436F1448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$5C722352-3942-4DEC-83FD-638470AD207F","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":"Q2830208$C8437374-5CD5-46A1-B10C-FF008878A383","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c604fc29401bc8b960f92fbf67223d0c9356bfcf","datavalue":{"value":"W2494824293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830208$FC94F9EB-BC05-44F7-97F5-EEE8989FA9C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06b330ba3bcfec7ad6958c27bbe7cdf8acc3d76","datavalue":{"value":{"entity-type":"item","numeric-id":418123,"id":"Q418123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$18A44B69-185F-4C8C-939B-E6CA5ED9BC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2baf1f86e5a08b3bc0e423af41100e3fa271d0","datavalue":{"value":{"entity-type":"item","numeric-id":4982057,"id":"Q4982057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$BA2C2EFB-3AF6-443D-A4B4-50989A4B0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318b80cb6f51e9fc9324635a09c09b48471126ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590934,"id":"Q3590934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$B8CE02F3-C16A-4ECD-8DC4-DE6938A7FD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5052f8437f78c03e88e16df815042bb5cfcf9d7","datavalue":{"value":{"entity-type":"item","numeric-id":2908881,"id":"Q2908881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$6403DE35-DBFA-4025-A08B-C4B5DE8B898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e9a29ecc80627a0cc89632ef849db579cddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5501249,"id":"Q5501249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$B1E8DA60-270D-4FFB-BACC-B5B71F1D18C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$F7762EC9-A54F-49AF-927E-3F676FCDBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92d59700431c6dd7c2a1af2583e5a7b1c6e30f3","datavalue":{"value":{"entity-type":"item","numeric-id":5429318,"id":"Q5429318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$BF786BB3-D484-4D40-999C-9CA9E1BD11CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$86E0777C-BC1F-403D-9122-ADC0293380D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec0eb18d1d1e7a36f852be7d4d1871f4a0801b2","datavalue":{"value":{"entity-type":"item","numeric-id":414902,"id":"Q414902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$1A5737E3-7AFC-490C-AFBE-132A3C9CB511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$1F0A985C-FBBE-45DD-B347-A9B90DBF625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$D44B6E73-5E46-48E9-8B97-594BA43E494B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa54618eda41988a65054578626fe7e86072441a","datavalue":{"value":{"entity-type":"item","numeric-id":3395043,"id":"Q3395043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$10EA6F28-55E2-4801-A905-D8477C0E6F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$BB3D7139-7612-4633-BD45-2B47C538F90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$1A9110EB-0FC4-475C-8654-865AF4C0FE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$3184F25C-7C92-4418-ABE6-3E0785EE829B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$CA68A559-787E-487D-8D5E-705D0FCF2552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14c09f16da91cec7573c8cf328cdcc7153dcc5c","datavalue":{"value":{"entity-type":"item","numeric-id":2870156,"id":"Q2870156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$0889547E-8A4C-444F-A664-8CE6ADE99CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$65994DB1-F9EE-4D57-923B-BDF10827D115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$8E3BD262-0D93-4526-9777-D55BC937EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f78c8a6aeffe4bc55f3d7fb548c07dff4762066","datavalue":{"value":{"entity-type":"item","numeric-id":3540191,"id":"Q3540191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$2FE4C5DE-5067-41E0-998B-15589BC1EFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073058366b91fccfb40e7ad16ea04c20f3f7f3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617717,"id":"Q3617717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$9EE7804B-147A-4C5A-8FD7-D3D6B02EE458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0dce92881d00910fd403b575b6fcaa5d9e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$A51D83D6-6FE2-4BB8-8086-A7593EAD7C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830208$59C95F97-2606-4454-A65E-C56ECB9748DB","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":"Q2830208$249B9ECE-3171-4A2A-8FBD-3562B4057429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b7038095bf7c5badeaae0f70ee1150069b1190","datavalue":{"value":{"entity-type":"item","numeric-id":4633557,"id":"Q4633557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560aaa6e74660ca6d257e9079c772b2d61c84d37","datavalue":{"value":{"amount":"+0.8775697350502014","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":"Q2830208$414E8F91-2541-42BF-828E-E42D654AC9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1741ee6305218d202f664f21d74c111b807b6ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1742991,"id":"Q1742991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8a3ac9c874e85ec10e4f4df33f284c5f0d63dd","datavalue":{"value":{"amount":"+0.8745575547218323","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":"Q2830208$680B3283-8C52-4987-A2E7-119BB07E8F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5d5496af6aac4e39a41518fbd5f6079a213c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2043434,"id":"Q2043434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79efb53ae844fa10392a14713b053fcc56e6fb1","datavalue":{"value":{"amount":"+0.8736379742622375","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":"Q2830208$559B045A-8B07-48E6-A834-68ED79D87DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638d096b67fcd37001819f80f7b4c123c9837483","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48aff42b492b5c9371533f92c3a7e9509bc7cbfe","datavalue":{"value":{"amount":"+0.8732361793518066","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":"Q2830208$66465C41-95D2-479B-88F1-B78F7FBBC342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40f139880d0499f5570caf713dc680fd07a0aff","datavalue":{"value":{"entity-type":"item","numeric-id":3172529,"id":"Q3172529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27826d0498c6a430c9b8ee3f3308a7d9192f2269","datavalue":{"value":{"amount":"+0.8644618988037109","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":"Q2830208$2BF7FF14-CFDE-4B79-B123-73C1A5696061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2830208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2830208"}}}}}