{"entities":{"Q414902":{"pageid":416669,"ns":120,"title":"Item:Q414902","lastrevid":61672656,"modified":"2026-04-11T00:53:03Z","type":"item","id":"Q414902","labels":{"en":{"language":"en","value":"Solving parity games by a reduction to SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033503"}},"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":"Q414902$932A49A9-A84E-4C4E-80AC-8A8CA6FA9629","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aad07d93bb98e8ad44d57d1bf7d67941b8a45ff","datavalue":{"value":{"text":"Solving parity games by a reduction to SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q414902$B76594FD-1F0A-4CD6-8BD7-3FA7F7DEC6D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"244d25dbbaea869e583df8cf138556b9c75903e2","datavalue":{"value":"1279.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$63456E30-1802-4092-8E17-9AB810BDD156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$E538B3FF-9869-415F-9DAD-2B3D3BE9F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc40edb52aafd8d4b43f76c08624e9664a405b6","datavalue":{"value":{"entity-type":"item","numeric-id":414900,"id":"Q414900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$B758525B-E2EA-40B2-AE70-47D4E3084D1C","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":"Q414902$52F2320C-68D3-4585-B35E-23198198A7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$71B50EC3-573D-496B-B62E-5F81CA98CDDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$1F790A62-3102-4207-A43F-14084EC5C003","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q414902$4BAC02BC-2894-4613-920F-EB88D76C443E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$53BF0219-64DE-4A56-839E-0BE74C916E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$0A1DAA39-BF6E-420C-ADEC-A82024569CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$01259D36-7E15-4D99-87B5-6068AA632662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$B5BA508A-6D59-4A8C-93FB-13FDF8F7809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$70D9DEDF-3A7A-4E8D-8C5F-AF7D9F462FC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d319d220f4bb022a97035d07580989eec82dd14","datavalue":{"value":"6033503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$3AC39C7A-9F8C-4371-A2C5-90F61857B844","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q414902$52A14DB1-94F3-41C9-B8EF-258BF4AAC83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q414902$CB53C340-0C51-433D-A0F3-EE6EBA1CFB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3bfa87809d000f7689f35719643e90e7982dde8","datavalue":{"value":"difference logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q414902$88310B42-AFEE-4AF6-9386-9BB682B044F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$00E56BEE-B895-4F75-BE2D-AB034470036B","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":"Q414902$E887DDC9-9B2E-4332-8C4D-366595222860","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d565dcae08f8caf805d1aa7246dcc2e2088e2de3","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q414902$B1701104-1C03-4393-BDDB-37BA3F009C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ed6c299f23a12405772e06a5b6014f1c312d83d","datavalue":{"value":"W2090204914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$509D5696-F5E6-415F-B2DC-27B293B98487","rank":"normal"}],"P223":[{"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":"Q414902$3E2D1557-952E-489C-B1F9-A898640E6BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$579FFF71-6D65-40C8-9D04-4CB33DB68BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$9C667BDD-267F-436D-9FAE-E061EF3A771A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$5FB18FEF-6F6D-41FC-ADC7-3A40CAF0C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0dce92881d00910fd403b575b6fcaa5d9e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$B0868020-4B7F-49BD-9903-ABB4455C7BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c08df1a13e6cd99e1c82b5ab080bf3df32e25","datavalue":{"value":{"entity-type":"item","numeric-id":5510376,"id":"Q5510376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$9D028608-CC3F-45A6-830C-EC99DA54DC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fef71538bfe622d8984f6d2e90318b01b8a6b46","datavalue":{"value":{"entity-type":"item","numeric-id":1891171,"id":"Q1891171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$40A9931D-2DBD-40EA-B168-14B2D7A3B286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b748663d2cf5915c39c7e414c7a9e89aac1e95ed","datavalue":{"value":{"entity-type":"item","numeric-id":4540974,"id":"Q4540974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$980DB948-ADB2-445B-B81F-9F6D50A48693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de98a4f7badf7b60884b53f9c9adfc600e04c4a","datavalue":{"value":{"entity-type":"item","numeric-id":4418690,"id":"Q4418690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$9B42D0C8-C427-4E96-9EAE-D1320840D309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$9D55C47B-B9F3-4EEA-8CA7-2C0A89075B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$95BBB3A8-A048-411D-9CE3-EF0B82F1E4D9","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":"Q414902$F337B614-E51C-42D4-AABA-98739AFB1512","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":"Q414902$02DB837C-F56E-4BE8-A8E2-DD54900F7D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fabb53d94e6bb00bb8b3d3465267d3bce30f3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3581528,"id":"Q3581528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$E0277EE1-CACF-48F8-ABE7-C631B84D6B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$B074CCE6-E156-4734-96F5-3C68757C24E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$CB01B94B-1D88-4837-8F2F-5C0915ACB6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$1F0C28E0-16A3-49D4-94E8-9C0F91AC8E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e31460d03447356beb6dcb816454c7cb3b6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$74A8459A-1556-44DC-9B0D-930076987D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec0eb18d1d1e7a36f852be7d4d1871f4a0801b2","datavalue":{"value":{"entity-type":"item","numeric-id":414902,"id":"Q414902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$22A67518-221C-463F-9BF9-A28AEB61DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$A0B1609B-0694-4378-98FC-07A9B1DF6BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0ba3078dc0571f8571cfdef6334bc3060b114e","datavalue":{"value":{"entity-type":"item","numeric-id":2848673,"id":"Q2848673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$6E423D2C-5B9B-46E5-AD62-96426D5F34F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$2AC65948-4862-410B-B1E7-21C119D715AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2500b3eb728a5dbd36aa66d960d74730aefa5ce0","datavalue":{"value":{"entity-type":"item","numeric-id":5756750,"id":"Q5756750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414902$823D522A-DCBC-4743-BABA-58719AFEBF3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32e525f8aca0ebcf6ee3864cc44400688cbf9b8b","datavalue":{"value":"10.1016/J.JCSS.2011.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414902$1E3638FB-6483-4B15-A718-85539B9DDF1A","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":"d1e853d336ea6220a45a19b9dbb3bfcdfbb94794","datavalue":{"value":{"amount":"+0.92451847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$5BF47D61-4360-4025-808C-BD3539B4D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7f33a7cb05d6e42ded618be2c218474f55f4fe","datavalue":{"value":{"entity-type":"item","numeric-id":1656552,"id":"Q1656552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b0a214f0fe146b2d93186acee6101cd7fc7826","datavalue":{"value":{"amount":"+0.916313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$98B08B12-E69A-43F7-AFA3-BE79993A4044","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":"aa45ea2ef34ebb9061df3008e1da5202c74aa4b4","datavalue":{"value":{"amount":"+0.90635455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$12E27BC3-7BFC-4801-9251-1DCE43EC65D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cad243ae7a7b032addc701f97b93bb8e802598","datavalue":{"value":{"entity-type":"item","numeric-id":1616970,"id":"Q1616970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b527cdcc0af4af7ad24a2ad9a9646c62b09bb96","datavalue":{"value":{"amount":"+0.90555626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$676C9B9C-F313-414B-82EF-80128BED3F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a3c6897be7ebc78db4cccac4ebc3f1e0349cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3507327,"id":"Q3507327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd99f2abf7dfd6b993af3d58411c4f027a17e6c","datavalue":{"value":{"amount":"+0.8977856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$BA8BF572-5953-48DE-8BB2-A57B85164428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b33bd59f20a07418dcf0ca30c4a628caee5ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2912718,"id":"Q2912718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575737d3e5efff8a6a5db99422ec46308f783404","datavalue":{"value":{"amount":"+0.8967031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$5B9540D3-D80C-4BD0-B40F-960FD0EBD893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40f139880d0499f5570caf713dc680fd07a0aff","datavalue":{"value":{"entity-type":"item","numeric-id":3172529,"id":"Q3172529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab506b9a0eb973e720d934def537f1f555fde510","datavalue":{"value":{"amount":"+0.8961602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$7265EF76-DCCC-47D6-9296-45BBC8099ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc5d0cf04808e9c30926e82f55bda924d4d194b","datavalue":{"value":{"entity-type":"item","numeric-id":2842100,"id":"Q2842100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815db54a27b7a3431f9f5e68afd7e7567ad85bd8","datavalue":{"value":{"amount":"+0.8948113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$93ADA311-6A99-42F5-BEC7-3CA04049ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfd364066001ffd5ca1c050e696397aaa051615","datavalue":{"value":{"entity-type":"item","numeric-id":340584,"id":"Q340584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5267962a342e250c8ba73529ec7b5a364f6b121a","datavalue":{"value":{"amount":"+0.89461565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$3F94ADC6-71F4-4C59-A9A8-BC4A32F7A84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5136121d3a617fe24a20c4df35506dded7e806","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5267962a342e250c8ba73529ec7b5a364f6b121a","datavalue":{"value":{"amount":"+0.89461565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q414902$4286AC84-DE72-4584-9C98-9BCA2114DC63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving parity games by a reduction to SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_parity_games_by_a_reduction_to_SAT"}}}}}