{"entities":{"Q3399672":{"pageid":3410375,"ns":120,"title":"Item:Q3399672","lastrevid":50782130,"modified":"2026-01-15T03:59:09Z","type":"item","id":"Q3399672","labels":{"en":{"language":"en","value":"Alternating-time temporal logic with strong and weak exceptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5613612"}},"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":"Q3399672$3026D48E-5444-48A5-9702-94A84EB9C381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc7a446aa110a79d7b76633da21a2b310bba6327","datavalue":{"value":{"text":"Alternating-time temporal logic with strong and weak exceptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3399672$C8CEDE33-977D-4FE7-8BCB-8883CD8765CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e39ff12f958fd5cc0c5eb8c49e2505d5c4f7a3fe","datavalue":{"value":"1171.68670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399672$198D83D4-992B-4E05-9F83-9D18560232C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2334f54c122493ad3e13e3aceaae4daf809862a9","datavalue":{"value":"10.3724/SP.J.1087.2008.02874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399672$D5B781C4-F78A-406D-A327-F3CE1EE89116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8983a77608637bd01aa363fb490f86b76517acff","datavalue":{"value":{"entity-type":"item","numeric-id":3399669,"id":"Q3399669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399672$71BAE576-E6E7-41D1-B9DD-717D378BDE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1eee3c2d825880d24f5c51177c98472f578aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":3399670,"id":"Q3399670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399672$C456744C-7AB2-40C1-8EE8-FA0B23795F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79444f496aad04261530c358e936e4b54c955de9","datavalue":{"value":{"entity-type":"item","numeric-id":3399671,"id":"Q3399671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399672$0253BC98-FD55-49DF-90EB-671A8B68EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53325c9f119401b69a540611a547bd56634211a7","datavalue":{"value":{"entity-type":"item","numeric-id":298188,"id":"Q298188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399672$F9BBACA0-B88A-4C41-89F8-ADACC7FFCDCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dd0f4a863078e32a4c218c26f3bff7cf9c6f1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2844978,"id":"Q2844978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399672$FBC531A5-8422-49D9-A41A-D643F1BCE915","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-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":"Q3399672$8ABC3184-8979-49EB-9F06-C06C792E2EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399672$59638B9B-40A9-4F06-8F16-9CA0F0D44D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399672$F8B71850-5F73-4DAA-9107-3E5E1F9DBF28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e12db76f69e555595cf3932dbb2ed105c44e8c","datavalue":{"value":"5613612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399672$8CA7AA22-8565-4521-A953-D543E9D8F2EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399672$3776087D-08E0-45CF-ABB1-F84589D072FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d6f2354e4b2e7a2da468d62f5e979d9061519e","datavalue":{"value":"non-monotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399672$BC5DDAEB-6B6F-4987-8CC4-68B26DE5D84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6715b17979c26eda0d47d23d92c5862e69ed365","datavalue":{"value":"Alternating-time Temporal Logic (ATL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399672$EDBB8857-5666-4885-8A6C-715F67D65CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448ffe94b0772b40240f9ee42e8d4fac1837a8e8","datavalue":{"value":"concurrent game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399672$3DF4F1D3-F715-492D-8A2D-D00F49ACA2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b258592c601cae1d1adc4cef3d7af7cd7a6789e7","datavalue":{"value":"goal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399672$7FA5CB2B-7591-4A80-BA25-04E551939BC9","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":"Q3399672$3BFEA653-E8CE-4886-8DAA-5F4C6DF3A7F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed28de3f952f9d03093e567f4df28a010c85e74d","datavalue":{"value":"https://doi.org/10.3724/sp.j.1087.2008.02874","type":"string"},"datatype":"url"},"type":"statement","id":"Q3399672$A9D5C9F5-74CF-4531-A1ED-F1836ADC2C3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52d31e85aa4186dd4d32b385abd2d54bc54dcd14","datavalue":{"value":"W2086356508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399672$B240A87B-F1BE-4396-8C9C-443E92C76373","rank":"normal"}],"P1643":[{"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":"46af3e344fd5019e49b11cf401d82641d703a35e","datavalue":{"value":{"amount":"+0.7679022550582886","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":"Q3399672$E1A1AD4D-24EC-4190-8094-0FEE3687EA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6932e88451e757ee35db2967e8f7727b2c025b24","datavalue":{"value":{"entity-type":"item","numeric-id":4612421,"id":"Q4612421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40de2f39bb3f837008ae436322b3ce20dcd2da06","datavalue":{"value":{"amount":"+0.7597994804382324","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":"Q3399672$E004116E-B714-44C3-977F-D1E795F72A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4908c5983c5fd202b8ba5072d5fe994d868c15e7","datavalue":{"value":{"entity-type":"item","numeric-id":3981716,"id":"Q3981716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253075c3e629bad792a8a0665ede900d91d593e1","datavalue":{"value":{"amount":"+0.7513566017150879","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":"Q3399672$F6F8768B-1C0F-4CDB-80A3-764C30ADB594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cd985e62b6ab44c6305174a889313adddec295","datavalue":{"value":{"entity-type":"item","numeric-id":2915090,"id":"Q2915090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a182eb062e63566c0eee89c4a2bddd58be31b5f3","datavalue":{"value":{"amount":"+0.7486867308616638","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":"Q3399672$F15E5324-C5D3-4694-8186-E9D90517D956","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":"60f16b07419aca1c5f15d99f942ccf41135f622d","datavalue":{"value":{"amount":"+0.7432011365890503","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":"Q3399672$BC0A2803-67BF-4723-8FBB-133EFC6C80BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3399672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3399672"}}}}}