{"entities":{"Q2908844":{"pageid":2919569,"ns":120,"title":"Item:Q2908844","lastrevid":85039124,"modified":"2026-06-03T05:39:18Z","type":"item","id":"Q2908844","labels":{"en":{"language":"en","value":"Reasoning about strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073526"}},"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":"Q2908844$EB343041-3728-425A-9457-AC09D4F83B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02eb432e1d429bebd886ad2fb549a3c0a9a35a12","datavalue":{"value":"1245.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$C04B1A7A-85C8-4CAB-9970-8013362A60D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908844$5DF502D9-1E68-4ECF-B520-9218B0AF99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908844$BE57721A-9C24-412E-9082-8A408337BE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908844$74FCBDA0-3418-442E-A74F-A810B0B84218","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908844$37C7F3B4-EAD3-4162-B4D9-EF56F45D3DCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9427db17dbf82d7276158f8aea2f0ab812511a5f","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_8cc2.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908844$8EE3D933-9312-422D-BDF6-F32753274293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$D6CF9539-780F-4F8C-AEF8-78EF80FF5D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$0602F168-A9F9-424A-BB23-473A696E873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$7F833618-B701-48C7-8A6F-B674AB593612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$99B31946-F968-45C1-B560-9899BED30209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c38a67de4297e47574c0a2e6cc87a656f871d87e","datavalue":{"value":"6073526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$9EEC2CE4-B98B-43AB-873C-373FCF6BDA07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206c784d52c4a36fcd8ea9f081b4eca6ce243be8","datavalue":{"value":"open systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$F5BE14A9-7EDA-432A-BCD8-3DCBA75239DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$E44EA7D2-9398-4198-B499-E9AD7BDAC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$BA6B1D46-AC23-4C06-AB47-772869A2598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fe4973cab7824127c305f9c96ac466cd79e8e1","datavalue":{"value":"strategy quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$76A50165-B0C2-4DF9-8977-D3CC86335B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4f0dd9cdf2a4c483da5c34d26d7dfe7137a3b6","datavalue":{"value":"alternating temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$6D7E0990-185D-470E-9566-0FF95314EFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$F200A645-3A75-41BB-B809-31CAC0643DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990b8c5653a85171f586b774fa5ab77006251a47","datavalue":{"value":"concurrent game structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908844$079FE8C9-E4D5-44A7-B0C9-BE621E96965D","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":"Q2908844$3C4DACCA-B54F-4FD6-8126-00454B9ACCD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7da2d50f35a836e2f4b7abe8da07592dc87f62ac","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908844$40A4D8F6-08E4-4DBE-BEDC-A9F26C04AD08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44d7247655a2f0100b00bd02fe85deaa41bca09d","datavalue":{"value":{"text":"Reasoning about strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908844$FD2E9197-6F84-442A-87B0-556BD2C98D78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5d3571d71e9d358c7a7615666987beba571b0e","datavalue":{"value":{"amount":"+0.9427620768547058","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":"Q2908844$5EA6A4CF-1986-4CD0-8B0A-8242386BB0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c340356f3611d4c044f8e96194e7fb4fb69c3efe","datavalue":{"value":{"entity-type":"item","numeric-id":2980973,"id":"Q2980973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860886fa7e878f10cc285aa7407727a95a9c600e","datavalue":{"value":{"amount":"+0.8432455062866211","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":"Q2908844$7C1027D4-A448-43F0-A7E5-C98C05FD0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e0745b1e7177a5260202f9544cd914c87b2a41","datavalue":{"value":{"entity-type":"item","numeric-id":2921965,"id":"Q2921965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ccd55b91b08c3f12f5b72b316f559f36146d3b","datavalue":{"value":{"amount":"+0.8407732844352722","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":"Q2908844$BC582193-FA35-4A36-B662-EF2BFB42FD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58c7970fe19ca4aecedfbdb2862d7db319f1826","datavalue":{"value":{"entity-type":"item","numeric-id":1641030,"id":"Q1641030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7b13ad17100330e4aef77f48c3efd407cba525","datavalue":{"value":{"amount":"+0.8162076473236084","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":"Q2908844$2512D294-DE0D-4C0C-9FA5-AFD230922E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b949470afffa0b473a95a532083c24cf4c8d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78befca0b3db3b0aa091220c56c29311f761551a","datavalue":{"value":{"amount":"+0.8054640293121338","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":"Q2908844$58BF2680-A604-43F0-9778-FB0CD785BE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_strategies"}}}}}