{"entities":{"Q1420807":{"pageid":1431547,"ns":120,"title":"Item:Q1420807","lastrevid":70369254,"modified":"2026-04-13T14:18:38Z","type":"item","id":"Q1420807","labels":{"en":{"language":"en","value":"Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2031218"}},"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":"Q1420807$26B3EB8A-83A2-4A3F-8351-86F0631DADA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de126190bff551e0ea2b6db05ae3e9905f89bb88","datavalue":{"value":{"text":"Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1420807$E119C4C5-179F-4861-816D-903E6DFB73FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9496b723955fbc3b6a912c60b63239339b9c594f","datavalue":{"value":"1034.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$6E001640-D3D1-4BB8-91B0-360D966D6608","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d4a479a29d3b37993d516931619c1459059342e","datavalue":{"value":"10.1023/A:1026185103185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$9F257D33-904C-4531-B502-8775226C22B9","rank":"normal"}],"P16":[{"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":"Q1420807$4753514A-6B80-4F73-8335-C26CDFBE5074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420807$72E6ED05-66FC-417E-AADA-5E9C8C914807","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420807$836174A8-ED13-492E-A39C-2944E2D12DD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e953e40a98762a68bef74ffc60d05e25f086206","datavalue":{"value":{"time":"+2004-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1420807$8A7935E0-F326-4408-AB7D-C1958D8ECD80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$F9465532-E349-4D64-B498-099D3A76EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$0FE8A263-49C3-4778-A17A-5294A00EF937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$861A63EC-744F-4043-8AA5-6F883DBEE957","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24f78d885f987f902c9e3617e3cc836016bd25f1","datavalue":{"value":"2031218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$3C2B7A98-E10F-402B-BEF2-E322DCD27DA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ea7225b534953fe8d49c9378c0ea1c3f4cb1e3","datavalue":{"value":"Cooperation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420807$F9127985-9290-4C84-94D9-D4E084C4CF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420807$1EDBEAAE-6629-4E07-83E4-B4D8B24EE000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420807$ADAC7367-5BD2-469F-8106-3BDE329D80A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420807$7F29B075-0E2D-47CC-8773-F7091924AFD1","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":"Q1420807$BF864184-8FCD-4F5E-91F9-58717D6FF753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1fe20b06d1e57bccc63cb61c1212f310f9957a","datavalue":{"value":"https://doi.org/10.1023/a:1026185103185","type":"string"},"datatype":"url"},"type":"statement","id":"Q1420807$DCB1E915-A9AA-4A5A-974E-EEB2668C05E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0753a37e15c315f3faab6cffe084134251032e76","datavalue":{"value":"W1497329491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420807$B7444A4B-82EE-4702-B39A-C5EC87AF7FC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5781cc597f42d8fdd36bac2c03695941c554b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4738167,"id":"Q4738167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22996d7da74f7d0da80084f0f0a36a963a4fe2bb","datavalue":{"value":{"amount":"+0.9847843647003174","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":"Q1420807$90837906-1FBE-4A00-9133-E5E51A321864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e9bf6f9962e78853b4385e85eb0d701c840310","datavalue":{"value":{"entity-type":"item","numeric-id":4412257,"id":"Q4412257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a859fa9558c8d34af19c92d6b27128fafca75db5","datavalue":{"value":{"amount":"+0.9841210842132568","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":"Q1420807$58824112-98FF-46AA-9BF0-0F1BF0CE5DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ff84d4fc689cdf3925817f60fa42fb60530bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5151003,"id":"Q5151003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf9aa7211b8142de929b14251f5ff42f10a2ad7","datavalue":{"value":{"amount":"+0.982772946357727","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":"Q1420807$9168E9A8-52C6-408E-B133-5D67D6F63DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13ce4c697b74c5002307d60b107e83750b6f96f","datavalue":{"value":{"entity-type":"item","numeric-id":2500827,"id":"Q2500827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7998794d0bb9f56f66790072627af33b17d6f909","datavalue":{"value":{"amount":"+0.8983719944953918","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":"Q1420807$CE924F48-F6D1-40E0-A7BB-E0C159995626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a758e31b118fbf79943aa7ff50361510c2d3f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5758039,"id":"Q5758039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8585be4d553e5286a80694c61172405bdc0c60be","datavalue":{"value":{"amount":"+0.881492018699646","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":"Q1420807$7524B351-0655-40C0-8DAF-6D1FDABD5CBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cooperation,_knowledge,_and_time:_Alternating-time_temporal_epistemic_logic_and_its_applications"}}}}}