{"entities":{"Q6884704":{"pageid":20804767,"ns":120,"title":"Item:Q6884704","lastrevid":84206780,"modified":"2026-05-13T14:27:56Z","type":"item","id":"Q6884704","labels":{"en":{"language":"en","value":"Alternating-time temporal logic with default actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8136270"}},"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":"Q6884704$E998DAF5-DBAE-4F14-9F1B-34DFF74A2588","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61f60e26b76a7582e08f7914c5ba9b1b0249a743","datavalue":{"value":{"text":"Alternating-time temporal logic with default actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6884704$2027519D-7A8B-4EB8-8A81-82A6AD38EEF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ed806998210ca8028e05461a5a26685cb139cb3","datavalue":{"value":"10.1007/978-3-032-04590-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884704$15DA4D1F-3ACA-4342-8EAF-76A323DE3DA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$88EB5EFF-77EF-481B-A1A4-38A4043C5539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbd4fecb04d8db599a838be91371026bf542f5cf","datavalue":{"value":{"time":"+2025-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6884704$97D0CA4D-A277-46C2-A628-DC7016D2A5A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884704$457D2854-130B-4E73-AD6D-CA846DE9CEA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a93cbe8de56bb523bf476b0caeaadc7534b3c6f8","datavalue":{"value":"8136270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884704$CEFBABD4-93AF-43E2-A4B9-F41B1E1D0EB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a222904df6d87fa7752658f721506501a2ba8eac","datavalue":{"value":"multiagent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884704$F9E8FC41-C9E3-410C-B3F6-FEF7D306A3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c4727a44073f639ef8ec7145fd676517c321f9","datavalue":{"value":"robust strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884704$9124A988-C1CE-40AE-A840-A6F74BBA69CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884704$182CE4DA-A01C-46BE-BB03-BE286DCD60CD","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":"Q6884704$4B30B46D-D9F0-4D59-A50A-D251FAE523E7","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":"Q6884704$5C6CE411-FDA8-4634-A007-B78496B1B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17f78a3e21c8376263e5111ad80c946300f9605","datavalue":{"value":{"entity-type":"item","numeric-id":4576204,"id":"Q4576204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$D4BB20B1-3536-4387-BAEC-8380A25562F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0ce9d6f2d3adc917192cf116ade14196d11cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3056327,"id":"Q3056327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$65CB6187-C322-4C19-A2D3-C3C4D48771F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dd239eb2144cf4932c16c36404beebc2f11654","datavalue":{"value":{"entity-type":"item","numeric-id":2208293,"id":"Q2208293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$4A452E82-1004-494A-BB96-1382A61E2BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c58ec5a4c050753385a87a058e6b3d153b91cf4","datavalue":{"value":{"entity-type":"item","numeric-id":590254,"id":"Q590254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$BB7274A9-E111-4D12-86F7-854BD0AF0849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$6F37D2D3-7546-4D28-9D85-1A5F73A3B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$CB2E55FE-CB43-4FAA-AF91-2AE84A671AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede101e943936b03b98ba81f6c294ed179a56d1a","datavalue":{"value":{"entity-type":"item","numeric-id":6546442,"id":"Q6546442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884704$A179E816-B28B-41BD-995A-699862249B75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating-time temporal logic with default actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternating-time_temporal_logic_with_default_actions"}}}}}