{"entities":{"Q3614877":{"pageid":5644783,"ns":120,"title":"Item:Q3614877","lastrevid":49692364,"modified":"2026-01-09T03:07:14Z","type":"item","id":"Q3614877","labels":{"en":{"language":"en","value":"Solving \u03bc-Calculus Parity Games by Symbolic Planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529445"}},"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":"Q3614877$229F8E0F-DBAD-47F1-AAAD-30E3C99FF7DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2101fc91b48fd85a84ba6755fd02da39ae990a4f","datavalue":{"value":{"text":"Solving \u03bc-Calculus Parity Games by Symbolic Planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614877$87D73069-13E7-472D-8C97-286F39548684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"825d1e0eeb7020d0ee4b3731e9589fb987cfa32b","datavalue":{"value":"1226.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614877$3C20EC0C-5962-42DA-8421-279A8B043041","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e7ca5c3d48416a999b4dcb67983d22fd2acff4","datavalue":{"value":"10.1007/978-3-642-00431-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614877$CD3D141F-8A78-4DEF-8C4C-C26785342EDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"007d64e2e8245944de755587cf24ec07e0c45fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3614875,"id":"Q3614875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$FE724F25-C303-4038-B29F-3F5E749BD127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e9891982d51a824b72785c3fad60d1c76460f1","datavalue":{"value":{"entity-type":"item","numeric-id":343908,"id":"Q343908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$8F4BC01B-D706-4B71-A92D-4EBBD32A5B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1259fa6ce50a3a515c1c19b562a0ecd11a49672b","datavalue":{"value":{"entity-type":"item","numeric-id":343907,"id":"Q343907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$F4859D64-E215-4275-8801-7B17DA2CFA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28c7ad72588e26d8e1f602af02f4960322739c72","datavalue":{"value":{"entity-type":"item","numeric-id":3614876,"id":"Q3614876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$A76837BE-8670-4FBD-A579-0662B19DFC17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$1CA627A6-1A9A-43AB-8BD4-D6C5F6EB19B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-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":"Q3614877$C948A5E3-DAF1-4554-869A-9F20761BD147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614877$294CD164-7B30-4EBC-9253-90A27174006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614877$50D43F77-14F2-458E-BCE0-9D07C5FF8516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9053f4b0ab7b2187d36934a68f048dc29873e7e8","datavalue":{"value":"5529445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614877$C51E8F5A-EDB2-4C34-983E-9BE1C488BB20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee46d6a3e00791c01a5363cdd8ec8412b0ae676c","datavalue":{"value":{"entity-type":"item","numeric-id":13327,"id":"Q13327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$E76CD8BC-CEA5-4665-8289-DBDFF21412C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"626acadb5efe907ca1678f5a07aaa1a9c7ac06ab","datavalue":{"value":{"entity-type":"item","numeric-id":39331,"id":"Q39331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$285122FF-664A-436D-A195-44B9FC55F3E0","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":"Q3614877$1CAF3154-F87B-4767-98B7-5F5113829E36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ccbe66732a657dc08b278109c861c430f0a66bf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00431-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614877$5173D82B-6079-491E-9F19-266C603452C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8754abbcac37d7c4c800e460f577cfba411d4b9c","datavalue":{"value":"W1570795393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614877$F19CCD61-048F-4C84-8943-C40207E55D40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$D7833C5A-BB53-4D31-BAE2-014F0235BE1C","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":"Q3614877$1A8C2D2E-0F8A-4901-93B8-630D91F8007F","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":"Q3614877$99F505FB-EB48-41D1-8FA9-B2D1C412AAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$C966D270-A58D-4625-8A02-234CE9755FB3","rank":"normal"},{"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":"Q3614877$65E09CDD-6B07-4BC5-84A8-2A3DC4AC0FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$00252853-F2CE-4D68-BF75-10F2499F73D0","rank":"normal"},{"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":"Q3614877$9D5F7CE8-36E9-4112-927C-B732886D0A6B","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":"Q3614877$DB9C7491-F98B-4EE4-9B73-4B14AC72567D","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":"Q3614877$E674B6FA-BC80-4204-978F-0A150ADA81DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cda68d3409962e54a952702d8ea2323954d7c70","datavalue":{"value":{"entity-type":"item","numeric-id":2845509,"id":"Q2845509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$74269AA5-BE58-4D3A-95E6-1B3513EE129C","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":"Q3614877$1C05B0F7-8EC3-4E04-AA11-16311971A44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$0D1916CC-0141-400B-A607-04DFE3A9E7C1","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":"Q3614877$C4878E46-5794-4207-9557-ECC400FBD805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$31477AD2-F6AB-47C9-B7DC-CD17292A5CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ca5a8227a448c7bfe377187aa16f6a75d0e362","datavalue":{"value":{"entity-type":"item","numeric-id":5415659,"id":"Q5415659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$8C4927EA-3467-4CC4-9C53-B7FADC6BC544","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":"Q3614877$9AEB0FB3-C37C-41F7-BC22-6732AD4CA5B2","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":"Q3614877$59306C12-0986-4AA1-A147-121E71F2E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3cea43f1b945a95d78c226b76b430f5036b975","datavalue":{"value":{"entity-type":"item","numeric-id":5308404,"id":"Q5308404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614877$14E9858B-E304-4E96-9561-3695881DA96B","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":"Q3614877$8F492C4E-C062-44C0-9285-A6E87E548396","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590ec989c7d24b289778d01c720cc86b7af2f384","datavalue":{"value":{"entity-type":"item","numeric-id":5020998,"id":"Q5020998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d87c70e1c5bf696bae0224b8ee9152802fc04a","datavalue":{"value":{"amount":"+0.88782","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":"Q3614877$F6F63774-B501-42B3-A7DE-D903A106FCA4","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":"282b07834a8382f0210262d3e9d575a6cfbabb52","datavalue":{"value":{"amount":"+0.88236016","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":"Q3614877$D3796398-00B1-4CD8-82E2-6BED345B1DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccd368406335fde13c85bc812bb9975dcabe08a","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a951b6874ddc7033902f7b539506859709e347b9","datavalue":{"value":{"amount":"+0.8605525","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":"Q3614877$2A9F5656-2656-4966-B3E0-B4993AC86A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213ab3ed30f14979dedf999549da1bcf3c57629","datavalue":{"value":{"entity-type":"item","numeric-id":2845509,"id":"Q2845509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90342f85391e1d8ca9775fb61b38c30c286d8f0d","datavalue":{"value":{"amount":"+0.85263896","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":"Q3614877$A172F216-DA72-4061-8D9F-3D72080F2DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5884f98900a139d68aedb9b92df1051edd605ac","datavalue":{"value":{"entity-type":"item","numeric-id":5394133,"id":"Q5394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55522346c19dbb56f67f0fd6d1d7ecc9cc241383","datavalue":{"value":{"amount":"+0.8499352","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":"Q3614877$2F6FFA66-8FCF-42E3-9B25-5295D3B0941F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5981b39b42792c05c0edfe82dd23a515d8a290b6","datavalue":{"value":{"entity-type":"item","numeric-id":4737201,"id":"Q4737201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb35cf779f7d88fd21599304f677d795aa4b2eca","datavalue":{"value":{"amount":"+0.84922254","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":"Q3614877$490205E0-796D-4D5B-8AAE-55C80C24E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d86d5fbf6d5d9bd1bc7b9d17cae6f050e9076","datavalue":{"value":{"entity-type":"item","numeric-id":1742625,"id":"Q1742625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b5a5e7ad5b30947cd5ba7d4e4ac1b42e0285d6","datavalue":{"value":{"amount":"+0.8459883","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":"Q3614877$64F0B7AD-0312-4998-887B-CCE74A02EF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1363a3aa2faa960e9466f13a7e17a3732c15c0","datavalue":{"value":{"entity-type":"item","numeric-id":6113986,"id":"Q6113986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc3ec0bf4edf5ee13c9706c612935da57b231ba","datavalue":{"value":{"amount":"+0.8454579","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":"Q3614877$1E8D260A-1C07-43A7-AA3D-10AEDC610D2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614877"}}}}}