{"entities":{"Q345709":{"pageid":347476,"ns":120,"title":"Item:Q345709","lastrevid":52688996,"modified":"2026-01-23T06:44:36Z","type":"item","id":"Q345709","labels":{"en":{"language":"en","value":"Reasoning about equilibria in game-like concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6659114"}},"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":"Q345709$2C795D72-95A0-4345-AA70-F82635BD4F57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ab10bd5c81bca6ba4a20a854c8f5719bc190dd6","datavalue":{"value":{"text":"Reasoning about equilibria in game-like concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q345709$17D04AC4-CF2C-4024-8647-BB693F568C9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f25bdc16f365d1953db4255d291315b5fa02d06","datavalue":{"value":"1400.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$CD0D9C86-07BE-4852-B6CA-AAF94D65B711","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":"Q345709$E9380E57-8745-48C8-8FBC-4557A4A03A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"340736338f60c1dcb5764b889fe48c3a997c6516","datavalue":{"value":{"entity-type":"item","numeric-id":250585,"id":"Q250585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$0A2FDB38-1549-4CBF-99F3-5098FD29D966","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":"Q345709$D41D9362-72EB-4B31-A751-2CB42662CC0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$14E50231-0D61-4DEF-A19E-5C0722D5F2CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a54830ddddf8efde2ef9bbf0a00011143bf8f201","datavalue":{"value":{"time":"+2016-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q345709$44C3F083-2DE2-4A84-B88A-62D5AE74B2C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$DF6E0173-5F88-4517-A116-885104A49016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$B9E505F3-138A-426E-9BF6-EDC8BA199DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$E0F573A3-7484-4804-BAA5-9806C4FEC50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$60EF8CDE-1CAF-4CBF-8D4B-96A917B32354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$DFFF36A1-820B-4323-B40D-4F8F5FC689AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e99f4d8df789b95701e2744981aeaa8cf29ab0b","datavalue":{"value":"6659114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$391D7921-D70F-4F99-9225-A5F330BABF2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ebe7169f70112f2e394e3c5be413d6fcd0c295","datavalue":{"value":"multi-player games","type":"string"},"datatype":"string"},"type":"statement","id":"Q345709$C03486C4-543C-47EF-84B5-EE0F1D468371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ef2de3ae0d2a47a34c7430e493629deb6acdde","datavalue":{"value":"strategic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q345709$6D7CDCB3-85F2-4868-B6A2-B7CE57261FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q345709$E8D1848C-218A-4B50-8111-E46B1954287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q345709$8E3558D5-72B2-4381-9BDD-B95C57FFF967","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70f3fe4d2fe10b7c926cf6b5186ff4c9bbf9e099","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$D3CCCD2B-FE8F-42FB-A302-C97D00709893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b3b3e89255a21558437b3d982fd424385f2bf29","datavalue":{"value":{"entity-type":"item","numeric-id":43700,"id":"Q43700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$07A89B84-1F85-4CD2-AE9B-4FEED8D8740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$FEA2FEAC-597D-4223-9055-90C2A4D50A66","rank":"normal"},{"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":"Q345709$CF44955F-4164-44F4-BC6A-4F4F6C45AF01","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":"Q345709$046CA5E2-F407-4EAC-A967-3D0BE448B6FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e815410c6abf8df605e847a80f5d38ca706b319","datavalue":{"value":"https://doi.org/10.1016/j.apal.2016.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q345709$EB1AC1FF-CB4F-4883-A6A2-4A817F000CCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"244a46e375f35ef629f3df964d2dcc5c5e64faec","datavalue":{"value":"W2530905289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$FFFE2FE8-D6CD-4EC5-8F6B-A0F7A9016E06","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":"Q345709$0D14B9E3-EAB2-4AC1-857F-F1163F98C0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecbe8498bea9dfe933ee3e08ca9d63d4f901531","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$CCFCCEB5-24CC-40F9-BC83-52A2B7DA7567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$E85A9761-D593-4D5F-B5A2-CEBA5598F489","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":"Q345709$C7DDF2FE-D590-414A-A5B7-68C4EBC76621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a409329fb110ddbc3dea0a1c9349cb73bd1d38ac","datavalue":{"value":{"entity-type":"item","numeric-id":5326324,"id":"Q5326324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$F8B6D580-B8C1-4452-A0AE-8FE9EB470C25","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":"Q345709$348D1974-AB42-45FE-9505-FF1CAC049C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afdee806199444072e3f972bb2fc9312ffe1281","datavalue":{"value":{"entity-type":"item","numeric-id":2931371,"id":"Q2931371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$5005F14D-C51D-4A2E-BBC4-7620FD19E1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$8352748E-9BE8-4404-BAAA-A900A50E0709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$4C5C14B9-5620-4DE7-87C9-9A4458F0438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$A75911C9-9ADF-4A25-9E99-EFD7CAC76AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$96E3321D-B49D-40C7-B086-8EA174D20535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$BA84C96C-C57B-403A-8A7B-7BD4E4F51458","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":"Q345709$A201F13B-5DEE-4E1F-8620-E14DAABE96A4","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":"Q345709$EF49F6CA-753F-4E5E-8989-614D23EDA7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5128ea1fce41e0cabe1ccf3f99222f6d7ae49f43","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$75BAED8D-6F3B-4BBF-8C76-B0D523ECB1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$D5AA2E72-9173-4704-A8F7-234552F6BD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$96CEA79C-B17B-47D2-8C7E-3ECEABB823F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$CCA84792-1220-4AA9-A621-B31337F5202D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$A52A33AE-03F5-484D-A5A1-EECC4BE57568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf17a72fcc32baaf51630e51b10f45149d6f862f","datavalue":{"value":{"entity-type":"item","numeric-id":2914371,"id":"Q2914371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$1EA57737-3C4A-4266-89A4-2945EF9667AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17dbbdb493817d171599aacd5ce02b2f5493bb","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$4AA9FD66-C416-4AAF-B73C-757769A02747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddf3a2d99d17f37e7420b8893adaca28652231c","datavalue":{"value":{"entity-type":"item","numeric-id":2908844,"id":"Q2908844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$0E882FF0-6DEB-43D8-9360-9A86EE72DC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd7ade414234256e489ae5c798f975a4c87c9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3066109,"id":"Q3066109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$13E768F2-17F3-4185-A328-ECC799906F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d35691c4359f85cf61b888d8c79d316b4ccda","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$A791EFBF-DD7C-476C-B96D-C724B630A4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c70480d1e1800573a0a08c506cef7987427635","datavalue":{"value":{"entity-type":"item","numeric-id":5432685,"id":"Q5432685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$DF456678-D0A6-4AE3-A427-E49F4203A8B5","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":"Q345709$8A4F25A1-6DE9-4A10-B9E8-92981C49E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$30DB2E53-E7A9-4581-A6E2-6CCB5C2E04A8","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":"Q345709$3AB6F3D2-09E3-47B2-A425-A0504043F51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65bfc123f5d88b56f329f08eccbcbf01bff65981","datavalue":{"value":{"entity-type":"item","numeric-id":2787450,"id":"Q2787450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$F3E26BB8-A6AC-43D8-93D5-6E61977A1DBC","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":"Q345709$2012C101-FD47-4A86-81A1-04AEFF50CF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc3b099b3281703ecc656d0169f47fe6f080220","datavalue":{"value":{"entity-type":"item","numeric-id":3224686,"id":"Q3224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$F912E4B8-E417-4D5E-8C64-4508A431249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32d77f4f8589e445a34178d486a16c0f1a8fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":6487371,"id":"Q6487371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345709$803C26D8-03E2-4CEF-9C32-AC89E0437C11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd5333c4509aeca64b68e03f6963c1ab986edab2","datavalue":{"value":"10.1016/J.APAL.2016.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345709$31118AF5-7D94-47FF-8866-3EA7D6EE06BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f459ee7dac31fa8e796b0dc27f2f158c27bc556","datavalue":{"value":"The main purpose of this paper is to design a logical framework for reasoning about equilibria in multi-agent games. The arenas of such games are simple labelled graphs such that the games are of infinite duration and the players' goals are considered to be temporal, i.e.\\ expressible as formulas of some temporal logic. The authors then present a logic that syntactically extends the temporal branching-time logic CTL\\(^*\\) with a new kind of quantification which is to be read as ``on all paths obtained as the outcome of a (Nash) equilibrium strategy profile''.NEWLINENEWLINEThe main technical result of this paper is the classification of the computational complexity of the model checking problem for this logic which is in fact rather a family of logics, parametrised by the way that outcomes are specified in the underlying games and possibly by restrictions on the use of the equilibrium quantifiers. The general result portrays the model checking as quite difficult, namely hard for doubly exponential time, in very simple cases already.NEWLINENEWLINEThe paper is very much written in an overview style. Focus is given to the motivation of this framework through various examples, as well as first results on the computational problems that naturally come with the introduction of a formal logic. Proof details are hardly given; instead this paper links to other papers from which techniques are taken or where similarities can be discovered. It also points out various aspects that have yet to be uncovered, resp.\\ problems on such logics that have yet to be solved like general upper bounds for instance.","type":"string"},"datatype":"string"},"type":"statement","id":"Q345709$90E8CB34-6A4B-438F-BD5E-54362741DE91","rank":"normal"}],"P1643":[{"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":"722cd7d08f64b2d968210b0fe2802fd77c7094a0","datavalue":{"value":{"amount":"+0.8593728542327881","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":"Q345709$AB3A4A10-5A72-428B-879D-849E4154B9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b81d1b70838e8565c9881135c2a27e53d93793f","datavalue":{"value":{"entity-type":"item","numeric-id":3614880,"id":"Q3614880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85af8ae58661340e6412df8af5ea968daba76c4","datavalue":{"value":{"amount":"+0.7998239994049072","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":"Q345709$23BF77EC-ECCC-4E92-9D9D-FD583A00BA85","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":"f81eb7e3069cf88b1567a7c2a82eb774dc2813c5","datavalue":{"value":{"amount":"+0.797161340713501","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":"Q345709$5BB30BA0-C841-4F46-9C08-9C43CA53FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7816ddc9c725666c97332f0c2a48e9332fef03","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11475b469eb76f11ffcb1f7ac14acfe3ae199cf0","datavalue":{"value":{"amount":"+0.7938843369483948","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":"Q345709$4F6D6BC6-19EB-405C-87F9-995346EA5B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724d9c4b9b5db43fbbe5174d96ba360e84e40476","datavalue":{"value":{"entity-type":"item","numeric-id":3525629,"id":"Q3525629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb33cd0fe4eac999993ea2c4934db6f8183a1d9","datavalue":{"value":{"amount":"+0.7938842177391052","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":"Q345709$9A2AAC74-2072-4DC5-9355-4A8F2ADB9A9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:345709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:345709"}}}}}