{"entities":{"Q3297602":{"pageid":3308310,"ns":120,"title":"Item:Q3297602","lastrevid":58139364,"modified":"2026-04-03T23:30:00Z","type":"item","id":"Q3297602","labels":{"en":{"language":"en","value":"Semantic labelling and learning for parity game solving in LTL synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222935"}},"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":"Q3297602$9A52485E-F60D-4F39-9E6B-950A55063FAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30b6ee449a09a63c62b7a9eeba4bacf0b774dd2e","datavalue":{"value":{"text":"Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297602$2E0F876C-2A41-4C76-8A2C-A9A1407BE469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a10506dbfbc7b666456b7043ea027e113c3e6b78","datavalue":{"value":"1437.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$6F7BA8E7-EA6B-4956-BC10-20AA9E15F885","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d00017ed899f201c8e8d39e644a8507257372c5","datavalue":{"value":"10.1007/978-3-030-31784-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$80B71584-1747-47E2-94F7-6A8617D3AD4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$FC299E6C-CE42-46C0-8E03-0393AF09EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a38b94b81f0c67fd381ffb0229f8172ab2db7b35","datavalue":{"value":{"entity-type":"item","numeric-id":3297601,"id":"Q3297601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$8C487B1F-B774-4DE8-BAC7-51A61E7F913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5292d458af310b000030cf51a9a263a1b17344bd","datavalue":{"value":{"entity-type":"item","numeric-id":2151246,"id":"Q2151246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$CEFE4B5B-C37C-4B99-906A-D9B192565870","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$A653E33D-47F1-490B-AD94-346E66D29013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297602$787405F7-B5EE-45D7-95C9-8162EC8D72DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2eda49599573aa4ea70b1efb02aac502a323f54","datavalue":{"value":"https://arxiv.org/abs/1907.12157","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297602$0BB5869D-4136-4B7A-B979-65C33831F3A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$4FC9847F-4AF2-4D2E-90E9-8328A634A282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$537C59D1-E71E-4001-8178-7929D70F99BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$1024604F-6CEB-4941-866B-5BB66CED8783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$B28A79E3-2841-4B72-85E6-A9B54DAFBEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$B87453EB-FB0A-4495-9160-1BF6EAD539DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ebc468f0cc388ad63d8dc6b4bd92f7344fdd723","datavalue":{"value":"7222935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$F75B9806-A785-429C-AF8E-09FF788F25C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb14764ca4f795a410ecff4a15a27cd8a8364134","datavalue":{"value":{"entity-type":"item","numeric-id":45131,"id":"Q45131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$4C8FC937-2320-48BF-9F5C-7AEEF14BED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$5FB1AA42-6BC1-4F33-9D8B-F664163DC9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8333cfdb7241967da0b67e51549ccf58d3ee9f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5973057,"id":"Q5973057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$64AF105F-6E89-4358-8A82-735C25E65B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31e047a037d843c73f570b063930e8b1255958b7","datavalue":{"value":{"entity-type":"item","numeric-id":5974888,"id":"Q5974888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$419F1262-D054-4876-87CF-5ED271EF1278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$C5D604C2-0ED6-42B7-A6D8-6C0097C54C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$18D72376-0276-4FAF-AC14-7B10C129530A","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":"Q3297602$7C7F23BB-A33B-4F2D-8E1C-CA01498FE0FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f1320c6311b18a45ee8fae07c75d297648cea3c","datavalue":{"value":"W2981602668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297602$8378B34E-07AC-4978-B024-821CA1558C74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d3986e32e24ab15e47ef78a9d81ec8b3f628cf","datavalue":{"value":{"entity-type":"item","numeric-id":2628417,"id":"Q2628417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$CE95D753-1460-46DF-9EB5-2CE0DDC24686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6e61168db1a4074b0ea52777a6c9cad1a4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$B63687C8-1880-4B6B-A65C-23F6CD07C785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfc2abbce44972b8bb802564404a2fe7acfe5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3303906,"id":"Q3303906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$6C5FF063-AC27-4C23-B7EF-C37D01DF4D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc590f25d455d73eaa378a9a5c0eab1f2c957641","datavalue":{"value":{"entity-type":"item","numeric-id":2164217,"id":"Q2164217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$951D494F-4FA4-4A23-88F6-344EDBD2B68A","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":"Q3297602$CD121655-418C-489A-B73D-B6C819572B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$448A00CE-688C-4532-BAF9-ED627762DEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370bcc1804636e81ced9f88785c3fe9081219375","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$686859F0-2247-4B30-A192-AD9F7C58230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7709ed700ae454081ce9b4a28a22d24dd33b13","datavalue":{"value":{"entity-type":"item","numeric-id":3503894,"id":"Q3503894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$BF1847F6-958B-4A80-9CBC-E93E69D8C91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952dab3689e016aa8b9c59867a483243091eee9d","datavalue":{"value":{"entity-type":"item","numeric-id":3297602,"id":"Q3297602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$EBAAD70E-A4CF-4147-9D27-AC19006FEB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72602412fc4843dc076fcdd0c6befe70a32a36eb","datavalue":{"value":{"entity-type":"item","numeric-id":2272917,"id":"Q2272917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$E3F94E19-6A5A-4425-92A0-8444B84C47A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$572BE765-8A8F-4E74-8F19-43C44676377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72739cffc5b149fff26b6403340bd430747c6d2","datavalue":{"value":{"entity-type":"item","numeric-id":1110426,"id":"Q1110426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$1764A39E-7073-429C-9B4F-2EB32B2FD623","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":"Q3297602$15FF288B-D2B7-4518-B1C3-6DE72E23983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$4A428F53-C5AE-4B2B-92D7-EEC6FDE1409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$F1147AE6-BC0C-4030-98AA-3616C6A415FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297602$C818D2A4-FAF8-4F52-817B-F20DCA2BA00F","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":"Q3297602$3300E564-879E-4AE8-815E-26FE434BF3B3","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":"Q3297602$E673C8EB-2E1D-4728-B840-79E2CDC15B95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e33cdfb455dd44b83481d1097feefc02490ab06","datavalue":{"value":{"amount":"+0.7301688194274902","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":"Q3297602$30474946-6155-44F0-9F42-5BD2A9450F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18ba10a8f5acd460c746708e553ea1ac263efa","datavalue":{"value":{"entity-type":"item","numeric-id":5452725,"id":"Q5452725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3429a39983be4f882077de1785bf8f510895c0d","datavalue":{"value":{"amount":"+0.72554612159729","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":"Q3297602$81F58644-A037-455A-99EF-D1AEFD886469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf658730e9a48c423dda7e0d7cceebe191f0983","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a6406af2f28815fa8859cfa92e1ce0bb9cbde4","datavalue":{"value":{"amount":"+0.7209533452987671","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":"Q3297602$EA115349-D93D-4BE2-9DA6-3AB11325F2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6eeb96910088876ce635c29b19a989a8ff7be4f","datavalue":{"value":{"amount":"+0.7155675888061523","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":"Q3297602$9D2E7B42-CF59-4458-B34F-0D6D93D75BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8a565ee3477e7e55ac825f001ea5c210218362","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab8f69b073f456ee54ae3fc7c6b7d304f3c2e18","datavalue":{"value":{"amount":"+0.7140893936157227","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":"Q3297602$673FEB18-221F-433B-91E1-9965615077BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3297602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3297602"}}}}}