{"entities":{"Q5894193":{"pageid":7932731,"ns":120,"title":"Item:Q5894193","lastrevid":93535154,"modified":"2026-06-05T04:33:52Z","type":"item","id":"Q5894193","labels":{"en":{"language":"en","value":"Graded alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5870673"}},"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":"Q5894193$7CD167F7-0AC0-483A-8516-719F9FE96A41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319010523c383d38c1e4c3173ff6e535e49a05f0","datavalue":{"value":{"text":"Graded Alternating-Time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894193$1201DC7E-6B49-4D4C-BC85-7B394D8C1336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf94b1448b36e089c28705c0ec76cbca29cd2dcf","datavalue":{"value":"1209.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894193$5E5C4535-6918-449A-A09A-638912D85469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe94f4b35fb7e1a848109b449146fd030786c803","datavalue":{"value":"10.3233/FI-2010-363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894193$D136C850-5FBF-47EF-AC73-427D2F323017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79eb43ca4898bf0c605980468e2cfd77498bc71","datavalue":{"value":{"entity-type":"item","numeric-id":386609,"id":"Q386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894193$C9A816C8-2F23-438B-A435-36328152727B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894193$CB7DE1DF-B83C-4258-96F1-6DC40846454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894193$503A75FF-8A33-4D71-BF47-6AA738366791","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894193$09374F1E-C690-4F63-927F-0C11D347B534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86a51260412b40e5c53c8066fdea67849229bf08","datavalue":{"value":{"time":"+2011-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894193$4B832617-8864-4240-AEBA-3F1347E04B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894193$6F5FD8C6-4A38-4B6C-B507-BFA4A9F38224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894193$5374FB05-D1F8-4AC8-99AE-00F21B659043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35775d3dce631961460c5f75cf43216c3be29dfb","datavalue":{"value":"5870673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894193$3075FF90-EC7F-49DE-B862-F1FFFDEFDE12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f9768601bd14dd8860f60bde13615efdf522","datavalue":{"value":"\\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894193$A8AE26EA-8202-46D3-916D-AC4414141236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6320e7b26b2bddefa6142dbe98a0a294a48a3bc8","datavalue":{"value":"computational tree logic (CTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894193$C089676A-4F3F-4616-9384-FDF2967379D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8728d2f608d7eab15fb4a2a0647259be3e96a49f","datavalue":{"value":"alternating-time temporal logic (ATL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894193$CBDF157E-2BAA-4DF3-B01E-D19D9258E3D5","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":"Q5894193$69E5D5C0-9E0B-43A4-9BDC-9E879648A9FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"756c89471e568dbb05077696f14d3010b0d1b16a","datavalue":{"value":"https://doi.org/10.3233/fi-2010-363","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894193$C6493DDA-F46B-4454-B520-4D2B0C4724C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ecaba536ea9ac01bf8e41ad6c4f02f522c7c77b","datavalue":{"value":"W1755994347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894193$E1E39F2D-3F7B-4779-9EC8-291D4DD85CDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6366cf7d573d894b0dafdaae78bdaa4d60cbed","datavalue":{"value":{"entity-type":"item","numeric-id":5894019,"id":"Q5894019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde45f414f2b989c1e3c4ba7a0ad60c86ba907a5","datavalue":{"value":{"amount":"+0.9799596071243286","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":"Q5894193$7F9B087E-A04D-4F9F-A856-7FA9768DBFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad5a9701a11ada09cf8d6c25fd9b84cc1300127","datavalue":{"value":{"amount":"+0.8702142238616943","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":"Q5894193$6FE4D6F8-BC7C-4AE0-A921-711E203B63C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774cf92b391119f42d4b529f78e2886a1eefbeb","datavalue":{"value":{"entity-type":"item","numeric-id":357126,"id":"Q357126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64424f19ad64a33b28b6652a2a6e518b36a1ad80","datavalue":{"value":{"amount":"+0.8447646498680115","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":"Q5894193$CF7A2B90-CE6C-4986-9176-327F1EA89B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84076fcfc02c872a27bfb0acde86b8dbb8756690","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ef04a9e032bcc06a36127ec2eb7cf58639fbad","datavalue":{"value":{"amount":"+0.838273286819458","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":"Q5894193$13406B16-65B8-47DC-BA0C-1B9996A6CF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af18ba316977ca1001b7456313c18cd5e94e0724","datavalue":{"value":{"amount":"+0.8341993689537048","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":"Q5894193$F29B4606-BC20-4F4D-A2EA-6AEF3B5EC5BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graded alternating-time temporal logic","badges":[]}}}}}