{"entities":{"Q477197":{"pageid":478964,"ns":120,"title":"Item:Q477197","lastrevid":62118834,"modified":"2026-04-11T03:53:24Z","type":"item","id":"Q477197","labels":{"en":{"language":"en","value":"Down the Borel hierarchy: solving Muller games via safety games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376188"}},"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":"Q477197$B7348FC3-A32F-46D4-8D6B-FFF01DC13A15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df1d25387b6cc7105aec207f8e335e72a2efbde9","datavalue":{"value":{"text":"Down the Borel hierarchy: solving Muller games via safety games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477197$22163396-8B54-4A5D-871C-82BD78877F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6b373514bc296109f67d6a169c5807da702a4ca","datavalue":{"value":"1314.91053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$FB7D458F-10F6-4681-8AFC-B01C31A8DE90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$A2EDC9A0-F675-4CB3-931B-45FE8C51B14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a33341797c860a0bd34732ecf0f1304fd0e9d1f","datavalue":{"value":{"entity-type":"item","numeric-id":322314,"id":"Q322314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$95F807CC-748D-4811-BEE4-1F66CB788D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$FF5A0C65-586F-4502-BCB3-9B0A3018388D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$32621F62-85C7-4CB1-B2D1-4ADC663FA1E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dfefec2f6ca5d698146ea0cb5593f631aa8cde","datavalue":{"value":{"time":"+2014-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477197$8AF4A4B4-9F7C-411D-9090-7B48B7262D32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e70e2b8fd46c1d806b0bb44ca0d75a5e7190d6f","datavalue":{"value":"https://arxiv.org/abs/1210.2457","type":"string"},"datatype":"url"},"type":"statement","id":"Q477197$389F6256-A839-4381-83C7-1AE95D1D5066","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$B8CA0CA5-ED41-455A-84FE-8118C2813816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$E9EB9CEF-95DF-4F6D-9364-9CE9CE51B7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$A87204E5-4997-4731-B281-50BE8F5E57A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$175F7DF0-B54C-4AED-A972-ED05EFBDDDF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaa0457d7886a202448648ec44eb980141171a07","datavalue":{"value":"6376188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$FA026627-3A83-43F2-8276-8DC610991A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85eb403317c8d593c084aeef732ebea15e974d7e","datavalue":{"value":"Muller games","type":"string"},"datatype":"string"},"type":"statement","id":"Q477197$B18A6F4D-6F00-481D-84AF-F1E93E0BF78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810f1baf772c120022d33fca51f1bc6d89b6da42","datavalue":{"value":"safety games","type":"string"},"datatype":"string"},"type":"statement","id":"Q477197$65A4C476-3A02-4A85-91F0-773C8693B90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"723f6cff2f238eb7311f1b35c62f8eaf357995d8","datavalue":{"value":"permissive strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q477197$00E406D5-2FBD-4D3B-B866-14564FC46F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f1f4324589b03298421c02040e43868c3ef5f54","datavalue":{"value":"game reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q477197$C3B70BBD-127B-402B-AC6B-AD5BA02BD93B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2175fca53247bd197da19e8379fa9dd57459beb","datavalue":{"value":{"entity-type":"item","numeric-id":13084,"id":"Q13084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$719CEC32-80EB-4367-B261-83F0502B81A7","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":"Q477197$ED4E85AF-E984-48D9-87FC-61DC2F27BDFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ea4cc2b6d88d2aa9f4d1fc83b061369a2c27f56","datavalue":{"value":"W1994610451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$2C0C8C98-3792-4831-9963-EFBA5B2C7B48","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":"Q477197$83F2A90D-CCD0-4AAB-830E-1EC59698DEAE","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":"Q477197$D02E1122-7D24-4377-A063-901A52CC9F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b8dcf246816651d7701f69a6cb07421fa2aaf8","datavalue":{"value":{"entity-type":"item","numeric-id":3165962,"id":"Q3165962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$E791707D-E98C-407B-BAC9-E873B96A3DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302c68d876985d5ddf9004733a7242d61713ab71","datavalue":{"value":{"entity-type":"item","numeric-id":3637359,"id":"Q3637359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$D05E82C1-9298-4AC9-865E-150FE5D5CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abc9bd837ab8b0bcca67e88ca9afbb772dbf1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$FBA6E2F1-B876-4B28-9685-D0E3022D63C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"affa2a46160713b4ff4f89394ab76c0ed93b56eb","datavalue":{"value":{"entity-type":"item","numeric-id":3172910,"id":"Q3172910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$A81DA9DD-DED6-489B-81CE-F5D00AE41AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$FBF1608E-59BF-4F88-B036-A0228F45B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57cb588ea994c4f69bb0160d83a8c8074f491b","datavalue":{"value":{"entity-type":"item","numeric-id":2957486,"id":"Q2957486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$E0641442-68E0-494B-BFED-D0C3520E7590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$941C7218-733B-4BAC-8070-730529AC9379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"193951451111c3f13b8a2003aea650428e49389e","datavalue":{"value":{"entity-type":"item","numeric-id":2776609,"id":"Q2776609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$1088AF24-8C4D-4B78-9F3E-F7B08B3FC3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f159d9d5f8866918c7912db1fd121ffdccb5a55","datavalue":{"value":{"entity-type":"item","numeric-id":2909222,"id":"Q2909222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$E11C6B50-B673-4B5D-AEA8-2D384208C738","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":"Q477197$88175F82-F53D-4719-AA78-A33942C3F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$71FEE1DE-B101-41D1-B026-CB45E68E5D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$50CBC8DC-DD3C-4CBA-BB6A-7DE5998798B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$B59DF796-2A0D-4A95-95D2-883E006BB51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$FF076AF8-28EB-45CB-AF45-4900E800D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e9fc6df345e0144085d6b98086e6e47614988","datavalue":{"value":{"entity-type":"item","numeric-id":3559788,"id":"Q3559788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$718150A7-E4DC-487A-B96C-38A9263A9077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3db1dd52dc332c8fc81203ad454033a2151c49","datavalue":{"value":{"entity-type":"item","numeric-id":537946,"id":"Q537946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$05DCAFFB-09AB-4144-B224-32368B427229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d812383d9d263721ce10434fa8a76ef7c6e57be9","datavalue":{"value":{"entity-type":"item","numeric-id":3172922,"id":"Q3172922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$76C87167-7CF5-457F-BDF9-EAEB875FCF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5929718a7ff8bd50169581d25854bcf96420266","datavalue":{"value":{"entity-type":"item","numeric-id":4986514,"id":"Q4986514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477197$8E4AD90C-D371-4ABD-A523-DA0C78639827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0108d5c95b4a296bc5f21b0c33c5490b9d352163","datavalue":{"value":"10.1016/J.TCS.2014.01.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477197$CF760827-7AA2-4A54-8F6B-E58FD5C25309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fbebdc813d6a495df0a86bbb62e9bf2af03cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4986513,"id":"Q4986513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d07e7ab838aa789fdc24b5e092ccdc24835870","datavalue":{"value":{"amount":"+0.9978351593017578","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":"Q477197$4067EFA2-C851-4309-90E4-96D629B7C9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8456e52e2063bfcaadf7b81dca276cbf4711939","datavalue":{"value":{"entity-type":"item","numeric-id":3574467,"id":"Q3574467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463e340afe41529296a11f355763c15f4635a098","datavalue":{"value":{"amount":"+0.7832303643226624","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":"Q477197$DED003C7-C87E-405B-9F63-EBA6AE420CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95f87fbbbfc6556fdc06af642ebcdd7ba22f7de","datavalue":{"value":{"entity-type":"item","numeric-id":2978529,"id":"Q2978529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6a49e178253fd84bf7cdd9b874d1af2f08f8ac","datavalue":{"value":{"amount":"+0.7812918424606323","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":"Q477197$ED809F4B-914D-4035-A2DD-D6C244962AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993e1a4a7ae3060a9a590a67cf870f9eba59c652","datavalue":{"value":{"entity-type":"item","numeric-id":4339226,"id":"Q4339226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef18fa9d964e96eb055028607095405391043a7","datavalue":{"value":{"amount":"+0.7693373560905457","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":"Q477197$BBB95841-03B8-4521-8856-4A9EDCA134EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c158f39c3191c237abd8cda98c336d5dd324f31","datavalue":{"value":{"entity-type":"item","numeric-id":4372463,"id":"Q4372463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef18fa9d964e96eb055028607095405391043a7","datavalue":{"value":{"amount":"+0.7693373560905457","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":"Q477197$37C120F7-F64F-4465-95C7-A2048B4AAA60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Down the Borel hierarchy: solving Muller games via safety games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Down_the_Borel_hierarchy:_solving_Muller_games_via_safety_games"}}}}}