{"entities":{"Q2669180":{"pageid":2679923,"ns":120,"title":"Item:Q2669180","lastrevid":56697516,"modified":"2026-03-18T23:19:42Z","type":"item","id":"Q2669180","labels":{"en":{"language":"en","value":"Mean-payoff games with \\(\\omega\\)-regular specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485751"}},"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":"Q2669180$82A62C33-DBDE-48FE-BE8A-D7A2762BBD19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33eea501ba82032f3dcdc4bb2a004cd021d318ac","datavalue":{"value":{"text":"Mean-payoff games with \\(\\omega\\)-regular specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2669180$CF71CF92-E45F-4AD1-BA30-13CB4209AAB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36c0237e32cc12c88e3588c61f06ee859a4918a2","datavalue":{"value":"1484.91080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$92CD5E30-AC07-4BB3-B98D-E9B0EFB36F0E","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":"Q2669180$CF303735-1805-4A0D-B1B1-21AFEEAEF760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22fe9393a04cd036179361e56933852baa3eafa5","datavalue":{"value":{"entity-type":"item","numeric-id":824279,"id":"Q824279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$9EAAC66D-485B-40C1-B23D-ACE0375885CD","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":"Q2669180$7C372CFE-8FCD-4D9D-A129-C5EF5457D7A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6589dcc6fefca0e1b5c725a60b6e53eec3d18a30","datavalue":{"value":{"entity-type":"item","numeric-id":725005,"id":"Q725005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$14D2F413-1B76-4FBC-BC81-79019B3DD4FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2669180$306DC413-6409-48B8-83F6-0062B92D950D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$154242FD-B4F5-4B3E-A746-74679385CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a7dd7003e1269b5b10ff3f935da8af9e44f172f","datavalue":{"value":"91A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$E02935D1-2307-4975-9531-3BDE950F1F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"410dbaa73c02e2bd5fbd3c00164dc18b5e93e8cc","datavalue":{"value":"91A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$016C6484-11CD-4C6A-A1F3-572261A0245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$C5528808-4713-423B-8480-D2AB451A5756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$29B800A5-3879-40B8-995C-046165B1E997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0e2aab8f26bb52343133f4b9ee66a429f53b374","datavalue":{"value":"7485751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$F24DC996-3CBB-4E9D-9393-35503724757E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ebe7169f70112f2e394e3c5be413d6fcd0c295","datavalue":{"value":"multi-player games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$DC933D9E-D51E-4DF7-BA5D-A610BD94472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0180d853fbea02ba71da2703974527dd59fa502","datavalue":{"value":"mean-payoff games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$3E2F0C28-BAC6-42E7-8CC1-5D209D263FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$81BD98C0-31F1-457D-803E-3E1A8E4D5FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$612EEF30-4C29-4BE4-89DD-71D8545DEAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$11A8BADD-0EE0-4719-8812-F414BA33E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b78258354f571d9f227b75d538bc20f933ef51d","datavalue":{"value":"equilibria","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$CF66A026-53C9-45F6-AEBE-4530213891B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669180$741E6890-DD15-4AD1-A90B-AA919F2455A5","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":"Q2669180$281AF6F0-F26C-4207-B452-4D79CBDE917F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16c4622665755e3aedf3fc5f40c88e716006eac0","datavalue":{"value":"https://doi.org/10.3390/g13010019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2669180$9EE97407-981B-4270-B012-84D9AEB23F0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1cd0d1096de7c069f5a11a140db6ecf06b6d8ab","datavalue":{"value":"W4211210236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$DC76E15B-C372-4E94-9328-46BA28E90C7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$0B2CFF73-CBE9-4AF0-815F-D111D1DA62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05859705e5fbb38f21fd006b6726ab74ea14b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1172002,"id":"Q1172002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$0310519A-1E26-45C6-B609-D437EFBE3B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9713421918f6869e50dd22e530b5f937b309d98d","datavalue":{"value":{"entity-type":"item","numeric-id":3090850,"id":"Q3090850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$21743256-BB92-4168-8D83-C529CC632EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$5F91E65E-E118-4515-A35A-7DE5D94A8CBB","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":"Q2669180$B4195358-A093-4E36-A629-B4BDA8D0043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$8F14FDF8-748E-4C37-B133-CE2AA84DF7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$6D4285BF-FFD5-4F23-921A-D944F2B3B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$88AFD8B2-DEC6-4415-B778-12A8075B801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$BEB6FC98-2ECF-4EB5-ACEF-34267025672B","rank":"normal"},{"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":"Q2669180$97F14F61-6ECC-475A-AF7D-C2BCA1579957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6fd229e4e2bb54aca43f407945c6513ae824bd","datavalue":{"value":{"entity-type":"item","numeric-id":808245,"id":"Q808245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$061FA8A5-88B2-4D11-B73B-53EA29C3855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$549EB4D1-1F03-4BF5-A5C6-48D53658099D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c3d4f552fec9b627fb81a06a39a3b3a95adb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2649714,"id":"Q2649714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$ABB52543-FC0E-4DC4-832C-A01E997BA519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e601235ffad4203c61d571934f7eb317d2893fba","datavalue":{"value":{"entity-type":"item","numeric-id":3254699,"id":"Q3254699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$6925D46E-EB28-45C1-B3B2-1607DFC1408D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b608baed09213cad2be194cc4c3228326ab1bd","datavalue":{"value":{"entity-type":"item","numeric-id":3254691,"id":"Q3254691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$9EB819EA-0CDD-4040-A41F-B2CD6B3BB420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74442cfe0fdc01551cc698b717a4a05272c0f87c","datavalue":{"value":{"entity-type":"item","numeric-id":772430,"id":"Q772430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$868643AE-1AF7-4CA9-8188-64E2306AAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$B02078C4-F1F5-404B-B72C-89D55477DC2D","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":"Q2669180$B02DA305-B245-4F93-83F2-2383A07D49E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f970782cef7606d75b439e57c5964589154083b2","datavalue":{"value":{"entity-type":"item","numeric-id":1249587,"id":"Q1249587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$A25CDFB0-2AE5-482F-A861-84C6929D7AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$BB96A9EA-2BEC-42B4-8C75-72973B507ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$121D7571-50FC-4D7B-9C21-FE57EC07A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af1972ec479dfda611f1cc154f8c24b096c95a9","datavalue":{"value":{"entity-type":"item","numeric-id":824280,"id":"Q824280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$4C6A5621-EE17-48AC-9433-3134D8639782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc0f666b33a322bac2501e8fea189671bd99486","datavalue":{"value":{"entity-type":"item","numeric-id":2343132,"id":"Q2343132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$5D562641-BF24-4F2C-91A6-F643F4E2F022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c90b9b776f21e5a25c44f6d1cffddb7d10c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3591410,"id":"Q3591410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$61EDFFDE-7D99-43E3-A390-C2E8363DD038","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":"Q2669180$A10AED6A-378E-47A9-9B52-A85870949FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501b7276a5a1fd063a8f9ed0270bfe8360ea74c6","datavalue":{"value":{"entity-type":"item","numeric-id":1702894,"id":"Q1702894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$EC777352-0136-4173-BF63-C3CE1FB6A675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1724370f67747194fdc9b77b691e6591acc64b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5574573,"id":"Q5574573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$72F73354-1A5B-4DF1-BF9A-FB83C653324D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e96d8a50fbb457ceb2872900563068a815f711","datavalue":{"value":{"entity-type":"item","numeric-id":5627936,"id":"Q5627936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$83C56D46-3DFC-4A9A-A884-5D8CCE0ED344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5b6d1ae4f5004b393aedb50359a05572baa7cf","datavalue":{"value":{"entity-type":"item","numeric-id":5684536,"id":"Q5684536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$392D5B74-585B-4684-91C0-48DE4547EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdd32357e8e85c9424c5fd891bbcf457d30be14","datavalue":{"value":{"entity-type":"item","numeric-id":4708452,"id":"Q4708452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$600B6ECB-FF5C-45C3-B6AD-6D38CCE1EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348ea46eb2336e82df887e43a2ff889e1f10ee80","datavalue":{"value":{"entity-type":"item","numeric-id":3854623,"id":"Q3854623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669180$36290A17-B1F1-4E29-BC01-BDF1D9E0E71C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75570c5a32ff6e6cb0d58f5405914b766c3564c5","datavalue":{"value":"10.3390/G13010019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669180$91D03784-5294-4C06-9C0A-BE4002DF2CA9","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":"Q2669180$728D1BFD-48CE-47CB-8B21-9B380AB8091B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2669180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2669180"}}}}}