{"entities":{"Q2225596":{"pageid":2236339,"ns":120,"title":"Item:Q2225596","lastrevid":57798480,"modified":"2026-04-02T14:08:31Z","type":"item","id":"Q2225596","labels":{"en":{"language":"en","value":"Multi-player games with LDL goals over finite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307499"}},"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":"Q2225596$D5CEDAF8-FF72-4B33-B1C4-9218E4F31028","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"331e33f5dea7e1730066014838b3f01b6bb25076","datavalue":{"value":{"text":"Multi-player games with LDL goals over finite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225596$3F87B2EC-4779-4065-B511-A919D5DDC6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"527cf95722d0acc04df608920f76adb28b456438","datavalue":{"value":"1497.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$69D5CB69-83CF-4A3C-BD28-F9466C43CB98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$0D3CF5EB-0D07-437B-9053-3343547BED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$4B9FABB2-B1F8-4E2D-BC13-FB323C761793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$CE5BFBFF-ECE4-4011-ABE4-DA5419E209A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$6DE8EA7C-1AFE-457E-9AD9-3E9350ED9002","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225596$22FCA624-3DD0-4B64-8658-15DA460158BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afdbe977710f6cf1c35ea23f613ec5bde654df13","datavalue":{"value":"https://arxiv.org/abs/2008.05647","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225596$E1E6B79F-68B6-40A2-94D0-37B7B736CA97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$A9304F50-1523-40A7-B0D9-A50097A0DA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$8F29D5CF-AF96-4BD8-9A0D-3AA5CA3CDDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$0E6D17EB-66FC-4A26-909C-5020DA64D8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$C338D269-7093-4A98-B4EC-7473B8B8CED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$380BE61C-E3B9-4A0B-AFC2-916D3088FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$3F8FF93E-4BE0-4006-A983-FA6716B2EEF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0016499bd7fe23803728c263c02db17f071504","datavalue":{"value":"7307499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$5529DA03-6DB4-413C-95E0-F27153B2F004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225596$021C34CD-8C95-4279-8538-0B119FFACF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225596$24C64FEC-20C2-4FC7-8A89-CE9D02BEE7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225596$A7C7238E-0B6E-4F42-A6CC-8D06AE429551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225596$05551F2E-E860-4E11-8119-3F0F748AB156","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$D14A8FCA-D66D-49A1-824E-F6EA812EBB3F","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":"Q2225596$1D61CFA6-A024-4289-84C2-E6EFA75DA090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e550733eeaf73d8e42868069f9230eaf06dc404a","datavalue":{"value":"W3013665479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$4455F242-100B-41FE-9EFE-CC2F2DF89D28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e310a5f59d0da4e4791c4c584a72f49ca4dfaaa1","datavalue":{"value":{"entity-type":"item","numeric-id":2407463,"id":"Q2407463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$AF7B9727-1BB1-4F32-9591-6EC1CAEB19ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b96154e0b66d5a8d35e46c2a03a270fced0e92e","datavalue":{"value":{"entity-type":"item","numeric-id":2346405,"id":"Q2346405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$0BE3448C-6C82-4E60-AC1D-B2C165C67CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$ACC73509-4A01-40E5-A667-BF8A4522D991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabe0f67caf8653cd1f7e4dedf98a2589d94cebb","datavalue":{"value":{"entity-type":"item","numeric-id":5357709,"id":"Q5357709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$7F5EEF4C-2B76-4AB0-9550-212E3380A064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$A3094E6A-82C7-4E13-9E18-E0F5588C735A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f53750f6f97bf611de436c1c9e3df97c92a7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$4371C2FB-5004-4273-B136-215B17CE635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$739BE377-FB8F-4684-8F85-CD19E9C41CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdf560790028689b31f820345fd7f3e402b946f","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$03DD48E6-408A-4FA8-B53D-84DA80025011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2a6130fb0c85f7a83f9fda830b9f3b871814e","datavalue":{"value":{"entity-type":"item","numeric-id":2484066,"id":"Q2484066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$FC4A61C3-3856-4BFB-9123-8037DFAF013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a85c9f7e24a5010f4a7bf43bf3ecd325bd704a7","datavalue":{"value":{"entity-type":"item","numeric-id":4381391,"id":"Q4381391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$36A7B170-D8FC-46A8-8CCB-4F49E0352113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$4E2546BA-2353-400E-9DD6-C1E2E9669076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$2D36012C-A7CC-44D4-88D2-6CF9FFB5651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$98157887-132B-4D58-884E-83B7CB0EFAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9556ececf837658b87081a4543dca9da1e9b6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2346407,"id":"Q2346407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$B5AEA14E-E6E8-41D3-9603-B0733A76F3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ce858a0f69f3405f83614762667f69dc306bce","datavalue":{"value":{"entity-type":"item","numeric-id":2963922,"id":"Q2963922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$A6B11C09-E6DF-419F-9161-BAC33F3E7B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba9e490c9f482c2def0fe73de39e0c3f3b0359f","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$0FB08511-C630-4DD6-BE20-FDCC3F7E9740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94f84a9d7769c1bbeb759d598f9779e1aa3656e","datavalue":{"value":{"entity-type":"item","numeric-id":5144683,"id":"Q5144683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$154C8FC6-48F0-4BB6-9A38-D9A83822B11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3317d6fe0b9b29f9b6c4cae73c04a5bf244a876f","datavalue":{"value":{"entity-type":"item","numeric-id":2817409,"id":"Q2817409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225596$E89E6B07-7E67-406E-8B5B-3E66012A86EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"900e3f924d0af33c32f1108acd8d7089bdddb0e7","datavalue":{"value":"10.1016/J.IC.2020.104555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225596$40B8EE0E-81F5-4721-BC9F-FE0276F3A4F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a529f6063f425cd71d05ad6f0a761bcf2a40748","datavalue":{"value":{"entity-type":"item","numeric-id":345709,"id":"Q345709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930a6c03334d7246b475eb7123cdf9daa053703c","datavalue":{"value":{"amount":"+0.7818259000778198","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":"Q2225596$2E9F78CD-DBB6-4F53-A58A-E27A4630D72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1d6a1b09c609b460b44b27c6aa9d15b15edc47","datavalue":{"value":{"entity-type":"item","numeric-id":5357709,"id":"Q5357709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4bee24c3e62f2f0ffbb8e1a9ccc31427c2c637b","datavalue":{"value":{"amount":"+0.7696048617362976","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":"Q2225596$5AF951D4-EEC2-4D83-966C-D2138218D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5460bfc6c534cced729aa559c86b2e57588d153e","datavalue":{"value":{"entity-type":"item","numeric-id":2817409,"id":"Q2817409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5576464ab849a6fbb121193338c04f46d6e04c","datavalue":{"value":{"amount":"+0.7655577659606934","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":"Q2225596$2D294D65-FAF2-4759-8737-0A00BE53FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2650755a13c1a1f90fa246cc59a237d2b9911050","datavalue":{"value":{"entity-type":"item","numeric-id":824280,"id":"Q824280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff4a37d888046e43af5121879d40cfcb19830ef","datavalue":{"value":{"amount":"+0.7587344646453857","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":"Q2225596$7617BBD6-0943-47A9-B568-54514637BE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c89323f408f7452c15d6e822c2edb7f7e742e6","datavalue":{"value":{"entity-type":"item","numeric-id":2346405,"id":"Q2346405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bda63fdaf663e64ef201506826cf83b643cedf","datavalue":{"value":{"amount":"+0.7465882301330566","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":"Q2225596$595054C1-C965-4009-B18A-3815542FA44A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225596"}}}}}