{"entities":{"Q3384882":{"pageid":3395585,"ns":120,"title":"Item:Q3384882","lastrevid":88077260,"modified":"2026-06-04T13:34:54Z","type":"item","id":"Q3384882","labels":{"en":{"language":"en","value":"A comparison of BDD-based parity game solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447737"}},"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":"Q3384882$D0195B70-B5C7-4519-B749-EDB04969750B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"605109c958385d79d4223cb3f7dc0d2a5458eacc","datavalue":{"value":{"entity-type":"item","numeric-id":3384881,"id":"Q3384881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$E06289EF-50BD-4210-B7D9-41BED742B7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e84fe9e7bf533d1ab33d10a27c52dad4dc5f45","datavalue":{"value":{"entity-type":"item","numeric-id":672480,"id":"Q672480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$70D51ED3-A1DE-481F-AC16-D0886D7BB50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$55837E7B-FAC2-4035-88D9-7FA5DFFD18A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384882$CA7A2E64-CC23-46D7-9526-8496BD19FD75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a01b20f340c9754d51b07f734c2a4b6be5a4cd92","datavalue":{"value":"https://arxiv.org/abs/1809.03097","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384882$EA34C103-C118-467C-838A-FCFF94EC2396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a07e40fd5bf3dd78dae8d7e8c197bd394b3bfff6","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384882$1CED4076-56EC-4D22-9940-F6BD04985439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384882$BC2481F9-9F7A-4CB6-A79D-43F62A190B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384882$9022860A-D65B-4F9B-998A-80B7587CF391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384882$CC48F3EF-1D79-4E49-A505-7C6297C27675","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d0096e8b1ca5431cceab7658aaa921b44d5b102","datavalue":{"value":"7447737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384882$1D195F07-31EB-4926-9A81-BB8934B66F06","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":"Q3384882$46B81B9F-9B53-47A6-B27B-7F42DE3AF665","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92d59700431c6dd7c2a1af2583e5a7b1c6e30f3","datavalue":{"value":{"entity-type":"item","numeric-id":5429318,"id":"Q5429318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$5F219D65-F9C9-4FE5-A774-0AD51B6BFA53","rank":"normal"},{"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":"Q3384882$542C3887-E733-4AA2-8957-92E4A55ADD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f734e8a7767015f451f01cd89d71a1a550b94b55","datavalue":{"value":{"entity-type":"item","numeric-id":3614877,"id":"Q3614877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$28967C39-BA1F-4F9F-AFA1-4FABA2B1C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903bf2cd12e6f6004fdaa1765ceeae63699853a7","datavalue":{"value":{"entity-type":"item","numeric-id":5015267,"id":"Q5015267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$265527A0-E378-4300-9AA5-C87A718B9F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3338806a11bb27abe4d980327339bbcc03aadef2","datavalue":{"value":{"entity-type":"item","numeric-id":4633557,"id":"Q4633557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$3E47AA96-B9E6-4A89-B25C-F97F86520F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a0bb2ccb3376922fb3c2ed27ea82a3d330365b","datavalue":{"value":{"entity-type":"item","numeric-id":4995363,"id":"Q4995363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$3A56F00A-0323-4C74-8A26-855DA15223CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee14dc25df7d2ebfa9ebaadcded95d96043c7915","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$0D6B86FC-641F-42D9-A73B-827EDF8FE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$00FB65C3-E156-4675-BADF-5E8675EC8283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02464b1b207d30cc8e12b56ec1a932f11ccc9cb","datavalue":{"value":{"entity-type":"item","numeric-id":5111185,"id":"Q5111185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$C152E737-C560-41EA-AA74-8338132A559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08b539c49b8cbe3f04ffffa52f172c4ca6d1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3525633,"id":"Q3525633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$4A709010-F14D-4764-A243-043BFBB4D50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$CDEEC6B8-A8F0-44D9-A0F8-59D20E65FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$766DD026-B401-4596-B8F7-8D0256208543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f1ac90450bc92e4957fb44d9d1401c45e9eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4992503,"id":"Q4992503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$782E879E-9E39-4853-BA3F-DB31FFFD0CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$2B3C16CD-52B8-45B9-A4E1-E38E3068A7D2","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":"Q3384882$B2F34787-059A-4431-98B8-4F6127092EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cfc9721e667f943208ff3ec343cdc00460182e","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$1B02E6BA-9839-4CE9-AE03-BE66D78F57DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$DFD73C33-9D7B-464E-8E3A-263FC1046902","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":"Q3384882$1CEF3680-705E-4AB7-92EC-76C8C2CA0A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0981a02b8c62c5b74a2a22089df67b2dd641012","datavalue":{"value":{"entity-type":"item","numeric-id":1350911,"id":"Q1350911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$224F9407-6673-4A32-BE8E-5CD6AC41CA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735934920ec8e0a73f481ba7262e9abd67454697","datavalue":{"value":{"entity-type":"item","numeric-id":2830208,"id":"Q2830208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$53EB66AB-A8E3-4778-8150-095A32D015AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384882$F167BBB5-FE7E-40FD-B58A-DE5830967270","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":"Q3384882$DC78AD0F-8629-4437-ADFE-AB53ACA5EB3C","rank":"normal"}],"P1643":[{"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":"3db9e2ab4f00517aa05b52676927fd667b08a95f","datavalue":{"value":{"amount":"+0.8721296787261963","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":"Q3384882$BDF96A46-316F-4B1E-B2CF-7966AEB0E901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5d5496af6aac4e39a41518fbd5f6079a213c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2043434,"id":"Q2043434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5122fe78d8fa5b9d00876c74ebb8396a6bcb43a9","datavalue":{"value":{"amount":"+0.853476345539093","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":"Q3384882$1EF2CA48-96ED-4CAD-993B-90B3299833EE","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":"e32bd07af678a90ddf10de1a7076ba27416b8496","datavalue":{"value":{"amount":"+0.8509730696678162","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":"Q3384882$B218C4E0-1E9C-4992-82E3-DCF13F827FBA","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":"3c1bb947c9150a9581e264df1376ef343ce0b6f9","datavalue":{"value":{"amount":"+0.842943012714386","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":"Q3384882$064EA0A1-8330-459A-AC22-7CE8DA2D5A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee59e99c0fc12e15d33defb6a143750ff818e82","datavalue":{"value":{"entity-type":"item","numeric-id":2830208,"id":"Q2830208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57317395f949996e127770f7668b526c4da241b0","datavalue":{"value":{"amount":"+0.841803252696991","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":"Q3384882$4BDD9811-EA1E-4098-8876-7B469F261EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of BDD-based parity game solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_BDD-based_parity_game_solvers"}}}}}