{"entities":{"Q1705645":{"pageid":1716386,"ns":120,"title":"Item:Q1705645","lastrevid":71199360,"modified":"2026-04-13T20:20:47Z","type":"item","id":"Q1705645","labels":{"en":{"language":"en","value":"Memoryless determinacy of finite parity games: another simple proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6850973"}},"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":"Q1705645$60D625DD-991B-4222-BB25-D1B626B5FF99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"972af252383c3275759485e6de9760ef2aa35fee","datavalue":{"value":{"text":"Memoryless determinacy of finite parity games: another simple proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1705645$982931C9-1C1C-44B3-AA0D-796D9DE1A6E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba5f783937a85da81ab48bfd6689ed10c113fd9","datavalue":{"value":"1429.91076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705645$DA5D1487-5B6C-432C-941F-70D60D015FAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705645$DDD4A341-E3E8-4EFA-9DA2-0382B327BE5C","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":"Q1705645$A61D16BE-C6BB-4B7A-B93E-26F97E0FBA35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38a58aab6944d60b1cdbb1cc7c2901bec8dd645d","datavalue":{"value":{"time":"+2018-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1705645$36E666AC-DC0D-4C88-84E5-0D4C9DE2A104","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21c948c3d6405a609735de94f566fcabd583b63b","datavalue":{"value":"https://hal.inria.fr/hal-01541508/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1705645$88063E7C-E147-43D0-8CA1-ECDEF9A8B2BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705645$32BA4F70-1C49-4065-81B0-DC17656FF0C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"603f05cd20534e300a96467ce2a18ae68689aa01","datavalue":{"value":"6850973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705645$33679C91-F364-48CE-8C1C-88E4A6842E98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705645$40462E04-8770-4B0B-9D36-3C0F8E379720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705645$F066152F-BB6C-4BE2-9857-482D8356561A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4341d88dfb06f5a2160ad21ec1047d2b9425e68","datavalue":{"value":"memoryless determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705645$80A1C9A2-10B7-479F-A91A-6BF317EE92E5","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":"Q1705645$36EFDAA0-3E89-4E02-8AAC-3B698DE07A5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f2f9db6eb96346c1603d37e442baea18dbdbfd7","datavalue":{"value":"W2742589611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705645$C9BACE37-4A14-4FC1-90B1-DE22577B5457","rank":"normal"}],"P223":[{"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":"Q1705645$0848D32F-946F-4CA9-8CE7-9B8702238146","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":"Q1705645$29ECA73C-820A-458B-9A8C-33D8AB90444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc1997a063092fc5b6e28bb94de5c6856f2163f","datavalue":{"value":{"entity-type":"item","numeric-id":2947896,"id":"Q2947896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705645$D462840B-933E-4729-8ECE-3DB5DAAA88CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbcf85bb8234e2415b13fbb642966eb28c8e8f39","datavalue":{"value":"10.1016/J.IPL.2017.11.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705645$02C4B387-0E0D-4646-AD34-C5E846128B32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5fb94146c3caf5c9168f2324b4ce78ebb53149","datavalue":{"value":{"entity-type":"item","numeric-id":1711414,"id":"Q1711414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cdabd6f407835df3ab10f53bb14b7800904ccd","datavalue":{"value":{"amount":"+0.982661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$B06B7D3E-6BF0-4D4F-8A06-3B22C17A0A5A","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":"1f4b366d6169f0117a170f1fdb12df0edeb7da95","datavalue":{"value":{"amount":"+0.95845336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$7F6F3394-9BD6-49ED-BEA7-3E06396E0465","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":"0632b626ffac328ff69ed2b0b27f3c170af5c3dd","datavalue":{"value":{"amount":"+0.9552145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$55DDE313-D07A-4176-9A34-74C303C8A51F","rank":"normal"},{"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":"fa576efaacb1bf85b89ce107fd8e5475ac437fa6","datavalue":{"value":{"amount":"+0.89528346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$56BD0720-8385-4BAD-8F12-632386DDF855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec9a2830c4629a91b0b2d021b0da7f778329a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5410676,"id":"Q5410676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ff41b7eac616a77071955433065872a63e35c6","datavalue":{"value":{"amount":"+0.8784833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$9A6EF78C-F36E-4377-9AA7-69D85E831B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2fe88c743c00e1a1ad07b8b1353763e4caefdb","datavalue":{"value":{"entity-type":"item","numeric-id":2431876,"id":"Q2431876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c48edd1024943fdee6ddd9384de8e49cb430dc","datavalue":{"value":{"amount":"+0.8670535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$B3217598-9B1D-428A-8639-28DC500672EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0d02e830a896c2bb8890bd2a98f09b7847a044","datavalue":{"value":{"entity-type":"item","numeric-id":3718707,"id":"Q3718707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5736bd0357aa1b135c9bacff1534916e20fee0b4","datavalue":{"value":{"amount":"+0.864664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$D7E45311-FD85-4049-A457-642C2EF668F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83441883c84566632d795e49401bdbca1af6825","datavalue":{"value":{"entity-type":"item","numeric-id":5702661,"id":"Q5702661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c853202aeea5c26787fdfed8596cdc2718370d23","datavalue":{"value":{"amount":"+0.86429155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$E8FF1682-FBF3-4FBB-AB38-51D5FC3382EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0034ad288ed166a3c475583bafada57a0aa89ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1357005,"id":"Q1357005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca63ec640cc4433320558b5f7d2d9aca47adcb32","datavalue":{"value":{"amount":"+0.8598923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1705645$4569A4A2-6171-47B0-AAA5-BDB34C3E4AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Memoryless determinacy of finite parity games: another simple proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Memoryless_determinacy_of_finite_parity_games:_another_simple_proof"}}}}}