{"entities":{"Q2909223":{"pageid":2919948,"ns":120,"title":"Item:Q2909223","lastrevid":51538658,"modified":"2026-01-18T17:05:34Z","type":"item","id":"Q2909223","labels":{"en":{"language":"en","value":"Two local strategy iteration schemes for parity game solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073964"}},"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":"Q2909223$73FA76AC-B639-4A9D-9A34-DB1A3700FB85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1cfa8ff283430408e47603228724d4c5cd84d0e","datavalue":{"value":"1246.91025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$CB61723C-B3B0-4EFD-9EB6-25AAA9AF51EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e40b97d0df149afbdfdf0340e19ee6af3f3c5e5","datavalue":{"value":"10.1142/S0129054112400333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$DC28D006-543A-47EF-B107-3B5886F20AEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4837f0d122d5493100cf3a55fa0f0b33a2b57f68","datavalue":{"value":{"entity-type":"item","numeric-id":507320,"id":"Q507320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909223$F89FD8B5-7F0D-45DF-8C19-954DE5C120D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909223$4CFFBD5F-AA03-4AA6-819A-8DDE64B53CDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909223$3DA87594-2509-465D-BC7E-A2784B4023D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ea979e1010c32afb4768abd2ba95f7b0dc31ec2","datavalue":{"value":{"time":"+2012-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909223$239D40A2-FC23-499A-8288-0D1C8E7E142C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$284F27E7-B195-40A1-8CDE-3475C6FC0AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$4ED93C66-22A4-4A91-82F8-1D08D209AD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$72AD411A-9DAD-4342-93FA-A567435CA9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$04F1E480-DA1B-4102-8B2E-75F2B60EFE6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f297277cf9efd8016a5a3051a756bdad6de387f4","datavalue":{"value":"6073964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$14D4BE77-77AA-4E48-BB52-E533F8A31844","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909223$3BED176F-937C-4A09-87BB-51FCD3DE9555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eec70ff5cae3589884fab8d13e3d20cbf8988a1","datavalue":{"value":"strategy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909223$2D6DA6A3-D0BF-4147-999B-065BEBC7C729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1986325556d3df8414fb3fb3c6be4f6d34e1e17","datavalue":{"value":"local solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909223$66846B93-869A-4021-BA17-35D44E79EA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba41d5d5c14b87f403098194ee383d05615692f","datavalue":{"value":"modal \\(\\mu \\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909223$E0918227-AFBC-4258-85C9-D3F4A7CFD5E5","rank":"normal"}],"P1463":[{"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":"Q2909223$8FAE364D-57F3-4754-B3DE-F36D5A7C33AC","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":"Q2909223$8C3E2510-5378-4D31-9E39-B61E95CB5188","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909223$C50324F8-C49C-447E-893A-AC3442E55DE3","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":"Q2909223$DC348025-1F1C-4758-B238-9A793838B0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6581a83a49274a510e21928269bd8a70366ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909223$64F37D01-6F8B-4FF4-89F8-9E2C2BEFA131","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":"Q2909223$0A502FF7-B852-4199-B122-93C5423A4958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed4f7b8a3d283e214d695070d69aeb520d5bcc3a","datavalue":{"value":"https://doi.org/10.1142/s0129054112400333","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909223$F3B5950C-0717-4A13-B6D4-C580F017EA32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b9afb204b99ffa6d7d271f7025ee4a32c6991d2","datavalue":{"value":"W1986303408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909223$DFC5318F-FEC3-4D6B-9EA5-AE1E6F098C5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7145aa559b66b43f649ba76dc9f8df75039bfe8a","datavalue":{"value":{"text":"Two local strategy iteration schemes for parity game solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909223$0DEFC3DB-76F7-447C-BD20-9745EBDEB8E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ae3bd9baedbc6ccae241705e66f2f370bf984e","datavalue":{"value":{"entity-type":"item","numeric-id":5151004,"id":"Q5151004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697ab3fc41f4a483b9604eb77e0e2003e752814e","datavalue":{"value":{"amount":"+0.9609181880950928","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":"Q2909223$F27062AA-F7D5-431C-989C-12855C3783A5","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":"510d507924a661b8acdffe4367a28a23b9aced7c","datavalue":{"value":{"amount":"+0.8198582530021667","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":"Q2909223$896BAD19-5E53-4A06-B8EF-A7D95C0B6363","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":"8bf368a7d55012539f8d2cf83a1b9eb931e27468","datavalue":{"value":{"amount":"+0.8163928985595703","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":"Q2909223$1C27B373-433B-4EC1-9E12-086773A1DEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209e80a32981c50fb631ffa5140750b83bd6d7bf","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0b2178e1a0a3fe8b8f5782b1c0046755363a38","datavalue":{"value":{"amount":"+0.814292311668396","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":"Q2909223$741CBE68-8445-40FB-83B7-5A80A6206F9B","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":"a3b695db01d4ca97116eff8a3e8dd6be0751fc2c","datavalue":{"value":{"amount":"+0.8121349811553955","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":"Q2909223$079273FF-E694-4D71-A92D-F26F5B08B174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909223"}}}}}