{"entities":{"Q6653762":{"pageid":14264919,"ns":120,"title":"Item:Q6653762","lastrevid":42407311,"modified":"2025-06-15T08:55:56Z","type":"item","id":"Q6653762","labels":{"en":{"language":"en","value":"A compositional approach to parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959057"}},"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":"Q6653762$BC11AC15-70CA-4837-9463-E7AE19A03445","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87892edad82809809a2e49b79c3953e7ce73ae54","datavalue":{"value":{"text":"A compositional approach to parity games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653762$1B0202E0-C104-424A-BD3D-53088F9E3205","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0075d00bb2b1ce19961686191d4ab8eba1806148","datavalue":{"value":{"entity-type":"item","numeric-id":6530312,"id":"Q6530312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$8A0AF034-B8CC-4ED5-9AA3-486813DA360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7d0201a046efc2bef201d7a7e62845658b50e0","datavalue":{"value":{"entity-type":"item","numeric-id":2117252,"id":"Q2117252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$C9968AC8-5881-4E0B-98C7-AB2E123065F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c5047119a2367a11254d195462d65d22f2a042","datavalue":{"value":{"entity-type":"item","numeric-id":2029492,"id":"Q2029492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$7EFC4396-2A05-4A13-90BC-C52C703D0638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$54224693-5434-49FD-83E0-563EDCC222CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-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":"Q6653762$142E7490-72DB-4B65-A61E-93B5B8AEDE58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653762$D3955853-B00E-462A-B60C-B855491FA5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653762$B1C735E3-E4FC-4197-976B-251FDE5C4053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"638576ea83860014a857b7abe859108e859b55c7","datavalue":{"value":"7959057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653762$B7AED390-5DFB-4659-A36D-B53E0F2FA356","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":"Q6653762$F7B5BD2A-5540-41D1-96A5-C890464F9D8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee684a2bc6afa9f6b2cd2627535302de3b0f770","datavalue":{"value":{"entity-type":"item","numeric-id":4585017,"id":"Q4585017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$BC8F4C85-2295-4FED-B3C7-F2B1333DA723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6c1d394c6169ccf5862f05af3c2de7beacbbbd","datavalue":{"value":{"entity-type":"item","numeric-id":5139283,"id":"Q5139283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$BDF405F9-36C6-48EE-9F83-B7F60D11D935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5a1b23fcfd1cecde1b1c86efcb35bd03b2b321","datavalue":{"value":{"entity-type":"item","numeric-id":308156,"id":"Q308156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$B86B18DF-91CD-4492-91B9-2BE97F29042B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4203923e62a5cc71c70a61d7235e256c0c5a2db","datavalue":{"value":{"entity-type":"item","numeric-id":5092417,"id":"Q5092417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$2B6F3A0F-DB0F-4FA3-957A-2D16251A3E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ded9b57b69cdd985cfd619876f5c125f9cf497","datavalue":{"value":{"entity-type":"item","numeric-id":3197780,"id":"Q3197780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$42324B2A-6253-42E4-BC83-27AB881AD829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16859a7f432f026b1bee037de517711de6e7347f","datavalue":{"value":{"entity-type":"item","numeric-id":5236329,"id":"Q5236329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$57527E19-9433-44C7-8BED-77071891F040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418db98883edf8661477f45054d04c82b0439c81","datavalue":{"value":{"entity-type":"item","numeric-id":1043771,"id":"Q1043771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$70FE941F-8537-4FB0-8A28-353670B07AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1306cf5971ea6ae481c5f8330b5b35e143e8527f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$614523EA-6804-47E4-B235-151BA7B8F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1bc1e6a7390698e60f93a31890456c21c99c33","datavalue":{"value":{"entity-type":"item","numeric-id":5145322,"id":"Q5145322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$2538C09B-F7E5-450B-8AF5-52BF5B37C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c041c098906d24b45c6ecb316f2c21b3d65371c","datavalue":{"value":{"entity-type":"item","numeric-id":2946341,"id":"Q2946341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$CC69268E-C09A-4369-A232-D3CB7C953569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e639f02165bc6dc584300dd2cd3238cd9ac8e31","datavalue":{"value":{"entity-type":"item","numeric-id":2516574,"id":"Q2516574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$8DF5C647-AF25-4CA7-A91B-25B0151032F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$86D4AB92-54E0-4E1A-9DBC-35AC8ED6405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ade470ca16322af7025333b0f38592261e824ce","datavalue":{"value":{"entity-type":"item","numeric-id":3400945,"id":"Q3400945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$552E65DE-7AE9-49E8-9F8B-ACE1326D4B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0de7002baf838f5257ddec94aeaac267932052","datavalue":{"value":{"entity-type":"item","numeric-id":2942773,"id":"Q2942773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$7695EEB9-CB1D-4CFF-A918-EBE184AADF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439ff1de4a25ce425aff3996f741b68a86882ed","datavalue":{"value":{"entity-type":"item","numeric-id":1320266,"id":"Q1320266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$906A62AF-A0D2-446C-A965-59E52343D4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$8FAD73A3-248E-4E6A-9008-4E4D27A086ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6001383377310e4b4785f7b29f084981c17a96e","datavalue":{"value":{"entity-type":"item","numeric-id":5408455,"id":"Q5408455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$DE7B5DE0-7889-445F-88F6-3CBCA69DFD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e669d619744876f0c82cdeef232d348e00f27209","datavalue":{"value":{"entity-type":"item","numeric-id":5414967,"id":"Q5414967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$AA9670AD-BF7E-4E5E-9269-B17B8E323A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce10e2b1fb07550fba97d8e7cbd91e0c4a573e","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$37A64CCA-8D91-4696-804B-74B47241B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47240905522e81697c9e35bfd396ff2b74e83a0c","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$642FC0E8-3B1D-41FF-820A-48C0292FA032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b363bc7055a2eb6216b60ec72df8524cf95f23b2","datavalue":{"value":{"entity-type":"item","numeric-id":5545545,"id":"Q5545545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$1DDA14AD-2411-4C49-B14A-7EE92E17F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3386e5e64cacb476206a1ab2e0a80247a8ef9985","datavalue":{"value":{"entity-type":"item","numeric-id":5620163,"id":"Q5620163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$C74BA684-887F-4CED-81BA-5DF707F1EAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1427f5bd67877182fd0da9f3fc2daa1f4f5dc2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2233427,"id":"Q2233427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$5BFA8752-FD6D-46FC-91AD-FE812DBDABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$4B7CDB44-FA39-485D-9DA3-BF8228CA7D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948e36bd4b64276c17bac9cfb434a91478bea826","datavalue":{"value":{"entity-type":"item","numeric-id":4635663,"id":"Q4635663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$EFCD182F-2517-442D-99AB-A085D0D16085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653762$9AB8EC9F-2009-4F4F-AB55-D7AE17A7F35D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7df4f4f47ffb3bce734cbdf860d2a13b343680c","datavalue":{"value":"10.4204/EPTCS.351.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653762$A9FD500D-6A6D-42EA-BFCE-8C0C775E06B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6653762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6653762"}}}}}