{"entities":{"Q6535612":{"pageid":14146755,"ns":120,"title":"Item:Q6535612","lastrevid":95489534,"modified":"2026-06-05T09:08:39Z","type":"item","id":"Q6535612","labels":{"en":{"language":"en","value":"On-the-fly solving for symbolic parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798024"}},"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":"Q6535612$6593F208-3EEB-4234-9EA9-8ED0864C2F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64ec1497c9348c1230ed09b94eedfb4581c1d9c1","datavalue":{"value":{"text":"On-the-fly solving for symbolic parity games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535612$FA1AE709-53F7-4CBB-AB87-CA80312BC351","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"136301cacf611f69c5dbd49f60203ac700d38ad2","datavalue":{"value":"1547.68437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535612$F17408EA-D9BB-4138-B448-AF07C015F951","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f17bf9a4127a6b10afc44f4f557ae92f34a2a47","datavalue":{"value":"10.1007/978-3-030-99527-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535612$239C9334-179D-40D9-963B-C060F799C88B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d60b6810a168d6db8d9f2c82a91bf22f6ca6aee8","datavalue":{"value":{"entity-type":"item","numeric-id":2693300,"id":"Q2693300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$872E6563-A74A-4503-A741-76241A4473B9","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":"Q6535612$3B9D97B6-271E-408B-B246-E81997E6F158","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":"Q6535612$A0C347A2-F2C7-41C7-B6FB-41D0D41E9811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535612$91F42D44-6D1B-45A0-B9ED-3BBEDEC6EDEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535612$5C47F4CD-8BE7-4A0E-9BBC-E78FB1B58F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535612$5D1722F9-4380-4CA0-A6A3-9BDAD4AB3618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535612$014F2225-69BA-4B27-A8F3-B7906C71D0DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e8cbfd61affc0176265cc6839c06d74a0e9d7e8","datavalue":{"value":"7798024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535612$D2E753D8-A212-4308-8FE6-592EA8EEC53D","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":"Q6535612$21D3A59A-77C1-4119-A62B-6E1D4B2FEFC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"166c0794992f5d64fe0fe24db136ce8489bb29fe","datavalue":{"value":{"entity-type":"item","numeric-id":1742991,"id":"Q1742991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$0A1D3469-DC2E-4089-BBC2-D7259DED4920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5716f06d1aa07566cfec4bb63dcfc296441a64","datavalue":{"value":{"entity-type":"item","numeric-id":2851074,"id":"Q2851074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$8BB41F22-1359-4AA9-8FB4-E71B6D20AE40","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":"Q6535612$913D17EB-2CEA-4098-A9DD-300C6A6365EB","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":"Q6535612$ABEF1739-0E4A-4FCA-8D74-3A7686A7F976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03dbf9748490436f7531d2ef85f5313c11398ac","datavalue":{"value":{"entity-type":"item","numeric-id":2842127,"id":"Q2842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$28FF5EA3-A7CC-4D46-B328-C400C70D4AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$83CCAE4E-B9AF-4C41-BB8C-5CDE50B590C2","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":"Q6535612$1B99EE0F-A0BA-4FC5-BB9C-BACCF5553F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71eaff2acf8e3127edea798b982d579ea1f9748e","datavalue":{"value":{"entity-type":"item","numeric-id":4910410,"id":"Q4910410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$5D370392-4246-47C8-9502-3432399CCEF4","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":"Q6535612$7334B4B8-D6A6-44CA-B23C-A1FF372356BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$DCCF36B7-9225-4D97-85FD-562B97EF5E28","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":"Q6535612$67181877-0740-4879-967B-DF9BD8CD3156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe249d565fa8976723a05916e803d825e9d382c3","datavalue":{"value":{"entity-type":"item","numeric-id":864512,"id":"Q864512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$FD2E9ED7-3429-4AC9-B530-4097296C4290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac9d4a583aed6c94d53ad2f8a86a88a3838d923","datavalue":{"value":{"entity-type":"item","numeric-id":3384882,"id":"Q3384882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$09E79164-BAF0-454B-B984-A48773242CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2691a934e5e3c5bf75eccbd3cf80205308c029","datavalue":{"value":{"entity-type":"item","numeric-id":1616970,"id":"Q1616970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$42A878F0-89F3-45C6-9CA6-1C66852A7D5D","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":"Q6535612$DE7B2E8F-983F-40BE-9C66-98147667225B","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":"8e0122f3bddb8e40578ff6db77475baba47da5b7","datavalue":{"value":{"amount":"+0.8358404636383057","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":"Q6535612$21233A4A-3AFF-4DE4-93B6-F7825E2D15F1","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":"614997b89dceb3d0c427a4750f1b5d9cfc259921","datavalue":{"value":{"amount":"+0.8222431540489197","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":"Q6535612$5532D501-2DCA-4D77-AB05-CA72425858F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87cec736cd60b5d0c809f87f22eb899a381f817","datavalue":{"value":{"entity-type":"item","numeric-id":2330591,"id":"Q2330591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb8d747c143ec70ee5db74ffd4b17ab1e1633c9","datavalue":{"value":{"amount":"+0.807633638381958","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":"Q6535612$6BB9A6C3-F491-4E76-ABB6-7F0332AAF845","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":"f535a2a87f38b024bf9d6824e78e03b5124aaa7b","datavalue":{"value":{"amount":"+0.802569568157196","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":"Q6535612$45D1B30F-AEC6-49AF-AC7B-43D83818F8F7","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":"449885b7d545a376acf0222297ccaeb51a08a787","datavalue":{"value":{"amount":"+0.8001448512077332","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":"Q6535612$077D7302-C912-4D07-B8BE-AF5DEA70BA45","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535612$54F646A1-9B82-4876-9EE3-9565873057E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On-the-fly solving for symbolic parity games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On-the-fly_solving_for_symbolic_parity_games"}}}}}