{"entities":{"Q340584":{"pageid":342351,"ns":120,"title":"Item:Q340584","lastrevid":61089258,"modified":"2026-04-10T21:06:36Z","type":"item","id":"Q340584","labels":{"en":{"language":"en","value":"Solving parity games in big steps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6652750"}},"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":"Q340584$CD71C714-7BFF-4CBF-B794-2842A3C95D56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0317401e05baba6b884c55e04255f1a26bab349","datavalue":{"value":{"text":"Solving parity games in big steps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q340584$05661B35-D4DA-4B93-B7E8-5B54945AFBE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8b0ecd17104e48cf78d907ba61c3b468d61606f","datavalue":{"value":"1353.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q340584$22D03104-F1FB-44CA-A0B8-332496535D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$386ACC61-A91B-46E1-BCA6-3587930D4507","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$F84BA536-CB9A-4131-A46B-50111ED2075B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ca30b16ff66347882421f9615cba4ffa296b704","datavalue":{"value":{"time":"+2016-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q340584$522F0890-AB79-41F9-9BD3-290E78529037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q340584$E91FDE26-AF97-4D6B-8FA6-96CD302B16D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q340584$912C8F76-97D1-45E3-9C2E-0F55493A69A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"205692e58184cca8e1dba860525422b1cb4eb93b","datavalue":{"value":"6652750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q340584$02534095-9D1B-46AE-B28E-FAC40D1B8871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q340584$1132B6FC-1660-4462-B708-4EA754BBF678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e47e033a716f8a334927643b23b91f196eac69f","datavalue":{"value":"finite games of infinite duration","type":"string"},"datatype":"string"},"type":"statement","id":"Q340584$CD18F46B-A740-4598-8CA0-31D3A06232E6","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":"Q340584$C99AFC04-32DD-4535-9399-70C38BE50D42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9282831b52e104b19f6bb1f74547230b4a7127c5","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2016.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q340584$E1350169-D628-426F-A4BA-73D2C8CD140F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c92595a4704a95cfcdc3f9e84806b02fb4da31cb","datavalue":{"value":"W2531928804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q340584$25AD1990-95F0-4B35-BC21-6C8B17A67632","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$0485CA5C-EFD4-48FD-9828-8BCE5FA11258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa7ae3f2074536a9fe30367813ffcce08ce9c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5449827,"id":"Q5449827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$E7570F51-3BEF-44ED-928B-4FB58E91FAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc4952677ced24dab179867d526f14514405e6d","datavalue":{"value":{"entity-type":"item","numeric-id":1884982,"id":"Q1884982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$1477EDAD-A7A3-41CE-B86C-5F776313AE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d99c6cbba13f3a2d691a95dc2f619dbd5d61a40","datavalue":{"value":{"entity-type":"item","numeric-id":867862,"id":"Q867862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$75114F48-09F4-49C0-9880-36C75033D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fca1acefb6ba720094148c13794011a516402df","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$164C5099-DFC8-4BEC-97BD-C33A47FB0B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ebc39666a8e4e5a88899d41cb501b4eeacbc50","datavalue":{"value":{"entity-type":"item","numeric-id":4927428,"id":"Q4927428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$919D9F38-1338-45B7-8725-05055450168A","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":"Q340584$E51FFCFD-7F75-4154-9584-2B052F7B867D","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":"Q340584$793A4795-2DFC-4AC5-AE55-D6732E59ED97","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":"Q340584$8D3A77A3-BDE7-45B7-88AA-AB4F39FD0AEB","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":"Q340584$5FD293F7-E49F-40C1-AE72-3CFD85E7C018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fef71538bfe622d8984f6d2e90318b01b8a6b46","datavalue":{"value":{"entity-type":"item","numeric-id":1891171,"id":"Q1891171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$AC9DB8B5-DB90-4840-A12F-E52C8C6B8223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$763A090F-116A-4507-A9A7-4A05D005DDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad92c0fffcf91dfc123780236267d684235ac017","datavalue":{"value":{"entity-type":"item","numeric-id":5900672,"id":"Q5900672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$86BE426F-D856-4768-BFAE-B22A02BACF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$5865F85F-D581-47BE-B096-96297F9CD239","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":"Q340584$97552CF5-1C60-47D9-A78F-F48BA78DC505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$CDA39065-5517-4609-B129-2500D2C03A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814e401298d90eaa4e3c5f6c754e58784824de4","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$A34E0560-FBA5-4DD5-8730-5F7F22E1F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf804769cde4eacb437edf170de07127ea8b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$AEBE23E3-00CE-4FE2-B968-3DBFA68A61BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$BDFD4841-02E2-44A9-8A84-5650E1C34522","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":"Q340584$3EDF7276-04BB-4514-B5E0-19F4562BF3D5","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":"Q340584$C49877DE-26E7-45B0-9EBB-CD3D4ED4244C","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":"Q340584$4BB724B9-7B8A-4785-9EF2-A38E3989A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q340584$F65952AF-AABD-4236-AF3C-9A2561FD7B26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c6074ace5f3c58a65f6112454364b97000575d6","datavalue":{"value":"10.1016/J.JCSS.2016.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q340584$A6C4AF3A-D850-479A-9E3B-7E052F1CD52A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5136121d3a617fe24a20c4df35506dded7e806","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93289aba73672e2e5b662d353f54add8300e0916","datavalue":{"value":{"amount":"+0.9941017627716064","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":"Q340584$4E7CB8B9-DB27-4D41-B9EF-9CC480393C7B","rank":"normal"},{"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":"81c1fdced5b765474f89c0c25bdb2d788f855b71","datavalue":{"value":{"amount":"+0.8425989747047424","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":"Q340584$D0696481-FAD4-456A-949F-939949D83D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccd368406335fde13c85bc812bb9975dcabe08a","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae672bc6ec0054a297c88b8518825236d7ca572","datavalue":{"value":{"amount":"+0.8369662761688232","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":"Q340584$4041D53A-BA80-458A-96C2-1BEA7D641FC5","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":"a2eadab0ac91c86774e09a7e81bf4196a6946a86","datavalue":{"value":{"amount":"+0.8342981338500977","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":"Q340584$3779F159-F7B3-4C6F-A1B1-4F6BA43BD300","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":"786ef40e827927c51b5e51ae4092dc72b36873ef","datavalue":{"value":{"amount":"+0.8316690325737","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":"Q340584$E6020EAB-8773-4CE8-A4C0-B66156F652D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving parity games in big steps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_parity_games_in_big_steps"}}}}}