{"entities":{"Q1711414":{"pageid":1722155,"ns":120,"title":"Item:Q1711414","lastrevid":70803972,"modified":"2026-04-13T17:18:31Z","type":"item","id":"Q1711414","labels":{"en":{"language":"en","value":"Memoryless determinacy of infinite parity games: another simple proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003077"}},"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":"Q1711414$0EA23A7C-F85D-4652-883C-B04B093113CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9e39a87c836aaa27e41059f20417c4e1f0393ea","datavalue":{"value":{"text":"Memoryless determinacy of infinite parity games: another simple proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1711414$9BB881CA-F457-469D-AEB5-827E23B760FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6717ecf698fb655ab8349e29542f75df828ddba","datavalue":{"value":"1478.91038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$723D5B7E-0BCA-41EE-B7FE-43A18E1E2457","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":"Q1711414$3808210F-2659-480E-87BD-A72CE9C01ECD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711414$E01679F3-D836-4652-8EE0-0FCA850B432D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1711414$C9167AA0-9225-4243-AD60-5A211D9A2C22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a3cd62434370467136b8ee55b3c6e9d99b18a3d","datavalue":{"value":"https://arxiv.org/abs/1803.00655","type":"string"},"datatype":"url"},"type":"statement","id":"Q1711414$4C014F78-EC61-45FE-9F35-5C1F5321DA47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$DB43C259-5D47-4230-AA75-8EB29987A2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$01377D54-8EC9-48DC-B81D-B4913FC9EEFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe846dfbb34c2b320e96036200537d3b1cb8869d","datavalue":{"value":"7003077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$6B45FFB1-C88B-468E-9804-0282A7AC3032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711414$9C06A75E-4891-4318-BDA0-6F25AC7E2D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9032f636fc16b7447d5f2f0df5d5dfd1dcd63b8e","datavalue":{"value":"positional determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711414$49ABA46B-E050-468A-9439-1ADDE44DA4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b553d0a09bc07023e5c548ef5cbce5bc2abbc15","datavalue":{"value":"finitely many priorities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711414$2E6CA468-B5B7-40F1-B4AF-FA9EE7B0BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7146c2819fbeedb702f7b725ef135774812891af","datavalue":{"value":"infinite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711414$8A606FEC-464E-41B8-BF53-64B37592CC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c12492d9e730c8e4948cd70ea29a6ec523417b9c","datavalue":{"value":"(transfinite) induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711414$D4AEA877-358A-4E15-8393-AB6D4E1F9A59","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":"Q1711414$1E3BCEB3-A156-47EB-B6CF-EBFFFAAC4330","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33c38c36f4514d9301c571ab2e354776b952b2c9","datavalue":{"value":"W2964128549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$1D60BC50-691E-4B2C-B7F9-C89C8A886B2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e38e809e6634a4ef6da64539f67ce4a1baaa978","datavalue":{"value":{"entity-type":"item","numeric-id":5310671,"id":"Q5310671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711414$85A445EF-583B-45F4-8E87-E00C9A166C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7891f7475f1732884e0aa8d12e45ce4590e3582e","datavalue":{"value":{"entity-type":"item","numeric-id":1705645,"id":"Q1705645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711414$219B6A71-F450-4EAE-9A59-CE7FD79FBD79","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":"Q1711414$95A482B9-CE8E-4FA5-9025-D80D83AAA2F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"491b50666cbfaf667a778a41fcc229c3ec6f5cb8","datavalue":{"value":"Q128890052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$257C2282-C0A0-4628-859A-82B05B009774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0397008bace5e30b9f99c09441710c89c6fea17a","datavalue":{"value":"10.1016/J.IPL.2018.10.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711414$0C0C8E06-7EF4-48C7-B426-C7D2F636006C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c711bb877321d3bf4c9dc80cc480b0ea010b125","datavalue":{"value":{"entity-type":"item","numeric-id":1705645,"id":"Q1705645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a813cd1c0e96cb201218b96767995317089641","datavalue":{"value":{"amount":"+0.9414637088775636","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":"Q1711414$C42CA645-99FA-48A0-A486-D9B05B089A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ea8ab71a450f6494796537e2fade0c9ca5559c","datavalue":{"value":{"entity-type":"item","numeric-id":1884982,"id":"Q1884982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac5514ff214d92cc89cb6f9c319a4e9e64414c2","datavalue":{"value":{"amount":"+0.9270665049552916","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":"Q1711414$BBAFC19C-580E-469C-B89C-438CCD68DC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58cc55475fb1e3970270b803922e147d7bc921a","datavalue":{"value":{"entity-type":"item","numeric-id":4412829,"id":"Q4412829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58db0fc33b4ffd17bb072f84a2a6d70236ca211","datavalue":{"value":{"amount":"+0.8702124357223511","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":"Q1711414$50F56F7B-1036-4F32-B998-8643D3359C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2302d5a8bcf57e1762a18d242cfee966b99958d5","datavalue":{"value":{"entity-type":"item","numeric-id":818128,"id":"Q818128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58db0fc33b4ffd17bb072f84a2a6d70236ca211","datavalue":{"value":{"amount":"+0.8702124357223511","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":"Q1711414$450D83EB-63FD-46EB-A94C-501DDB3B2284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88339acecbb19ee466551fba4d42dd966026c64","datavalue":{"value":{"entity-type":"item","numeric-id":5310671,"id":"Q5310671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7bb863ba388f006067ba67061fd0d5c7849d70","datavalue":{"value":{"amount":"+0.7933216691017151","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":"Q1711414$B49DF7CD-F82E-476E-A8EC-BEDCB5C3E76A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Memoryless determinacy of infinite parity games: another simple proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Memoryless_determinacy_of_infinite_parity_games:_another_simple_proof"}}}}}