{"entities":{"Q528195":{"pageid":529962,"ns":120,"title":"Item:Q528195","lastrevid":62551380,"modified":"2026-04-11T06:51:47Z","type":"item","id":"Q528195","labels":{"en":{"language":"en","value":"Refining strategic ability in alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714839"}},"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":"Q528195$56E30FE8-23D7-4D97-ACE0-5ACFA1AEED48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11b132a3dca65f2413d31c15c05ac35989175442","datavalue":{"value":{"text":"Refining strategic ability in alternating-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q528195$94BA1602-7225-4CEB-BCEB-3BD180F3A339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be162e927618555831721f984ad5f6f8705d92cf","datavalue":{"value":"1370.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528195$A81CC4F8-000D-4DDC-8E9B-9BF5A552E1F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$4B2A0135-61EB-41F8-BBB9-3C460CDE9C17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$9E3F0BFA-4545-4DBC-B168-B5F533FD734F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da189f927ef60f6fc1a9445574ffefbf706f10da","datavalue":{"value":{"time":"+2017-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q528195$F0E40287-2695-4A63-BFD7-E26E196F7DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528195$E401E682-D1FF-4B41-8E19-E83E260898BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528195$81D182D2-1BA4-4ACE-A522-FD03618B11B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12794451bdcbdb312e27380a169d6a2a0eed014a","datavalue":{"value":"6714839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528195$CA1FD812-FE49-40F8-B604-62C84C45795C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q528195$527CAA76-4FEA-4489-8D21-352ABA2868AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q528195$13F2833E-790E-42F0-B119-33DDFE344FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q528195$5CD15FDC-FA3F-4448-A47D-2F90D3BC8DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q528195$CE86FB55-F8FF-4098-B118-C5F54A15FDC8","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":"Q528195$0B02B2B3-109C-41A7-8DEF-4C096A7D4D8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"200d40e36521983bd4ddb7ac9df17bf65f3a416c","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.10.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q528195$1ECD2E96-F08C-43B8-83A7-6ACCA182B04A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d82b5501a1501199c9c8243cf70a3e2fda5a37","datavalue":{"value":"W2547876167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528195$61608C70-B7AD-4DE1-B675-49ADF2EFA049","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280c8dab9cc56e75b8f40b5263dcef088143453","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$2CB1FB44-4E0B-47C9-BF34-B082091FD17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69a3bc7e7df1be6341fb6b4c693a307b8963570","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$D2AB0C6C-DB4C-4E37-A6D1-D04848F80C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$A6D6E947-9C73-4F24-8AC8-DCEE76FFB471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87e561f0bc0b19ee3857a1e29baa182ad90977b","datavalue":{"value":{"entity-type":"item","numeric-id":4739288,"id":"Q4739288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$83F76F6A-ACAF-4BE1-82BC-860E2E1EFBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555c7857fc7a1a553bcf3b1e5d170b6f8575f5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3527267,"id":"Q3527267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$E3550907-4CF9-4298-B77C-6059E9A871DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c7edfb4d256286d049ed049ae116976b40bbce","datavalue":{"value":{"entity-type":"item","numeric-id":360044,"id":"Q360044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$4801106A-C8EA-431E-902E-57FC46E1E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc522628db3d17b3ca532fdef1b2e3aaf50cc74","datavalue":{"value":{"entity-type":"item","numeric-id":4992518,"id":"Q4992518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$011470D2-EE8E-4CB5-8803-71EF36E194DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ac051474744a4eec236c54c217e3fb3724cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2859103,"id":"Q2859103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$3BB59DE4-02E8-4CF2-936C-49C6E5302968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$A65B9528-1995-4997-90C5-1215A250F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$61CE4EC0-0E69-4018-9A6F-B50E253200F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b334a746d32fa1c49868f7a73a90a118e7e47040","datavalue":{"value":{"entity-type":"item","numeric-id":3525629,"id":"Q3525629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528195$E3A790E4-EF81-4257-AEA3-813BAE95D003","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":"Q528195$CF323B68-15C2-451C-8349-410B2CEF4E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"060019d0f0bb3b6a994c88dc27bf631e1c1b8667","datavalue":{"value":"10.1016/J.IC.2016.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528195$9F5A65F1-0CBB-4254-BBA2-2EAC59D247A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f64d759ea8eefed853f3fd21bb841eceebbe07","datavalue":{"value":{"entity-type":"item","numeric-id":4994891,"id":"Q4994891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730cbb42fbbbd5c6965c80e74c15a39ba8c0e51e","datavalue":{"value":{"amount":"+0.951171338558197","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":"Q528195$82C08510-4DDD-4209-8824-272DD8CC58DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07f4dcea57ad26450afde72d938e453d835d144","datavalue":{"value":{"entity-type":"item","numeric-id":5192925,"id":"Q5192925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fb0327169bb6f4a4ab032f9f2de1eded3fef36","datavalue":{"value":{"amount":"+0.8093975186347961","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":"Q528195$2BBC46DC-19B5-43E3-8D32-0FC1DF2E6BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848d727e1ea8136a20bf025e3284308fe970b19b","datavalue":{"value":{"amount":"+0.8064512610435486","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":"Q528195$AC95E673-0A9E-4C87-816A-F8780A52BD79","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":"92f9a1c353a3cefd67addb24942da6446a93c749","datavalue":{"value":{"amount":"+0.8054144382476807","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":"Q528195$A4CCD800-74B9-43C8-9A8A-6D002EA32F9C","rank":"normal"},{"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":"86703044b317aeb331f1665d4c6d3a1397c6a5aa","datavalue":{"value":{"amount":"+0.802867591381073","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":"Q528195$4F1204FC-EEA4-437C-8E61-B0D8A29E824E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refining strategic ability in alternating-time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refining_strategic_ability_in_alternating-time_temporal_logic"}}}}}