{"entities":{"Q2908843":{"pageid":2919568,"ns":120,"title":"Item:Q2908843","lastrevid":51537752,"modified":"2026-01-18T17:00:45Z","type":"item","id":"Q2908843","labels":{"en":{"language":"en","value":"ATL with strategy contexts: expressiveness and model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073525"}},"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":"Q2908843$852AC6AD-2A24-477E-8E31-E9F23CCA32BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cc1566e99fa5e1e16f966814ea05267d59be025","datavalue":{"value":"1245.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908843$BD37DD98-8438-42A0-A86E-6FDDB1E6B643","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"294587302a72ef809c188ae69d9ed675a16600fa","datavalue":{"value":{"entity-type":"item","numeric-id":2908842,"id":"Q2908842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908843$A8073181-9983-441F-9DAF-098B93FDC6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908843$F934E32F-7292-4E71-8144-97EDA8214385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908843$DFA05E93-A3BF-41CB-8AFA-553AEC33F13F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908843$757B6A0B-DD01-41A8-A504-1765F34DEA54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02ddd9ec670bcdadcccf3d153d5ca00ee36baf51","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_0cc2.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908843$E3594944-B33D-470B-85FA-68071AEB23B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908843$EA2F965B-31B6-4E30-9B20-815DF93636E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908843$774D7C91-8ABE-4379-B23E-32D408A549BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e903a9152740e30dceede946ede5560de7ee8f7","datavalue":{"value":"6073525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908843$2955B191-DE03-4517-8A6B-EF5482AA03D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4f0dd9cdf2a4c483da5c34d26d7dfe7137a3b6","datavalue":{"value":"alternating temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908843$A1853D84-EC95-48D3-B8FF-1736AEBC0EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef5ff3bafded397daf38f269c41cdffa1d8347d","datavalue":{"value":"agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908843$66BA9C50-7AEA-404E-A565-B00AF207C1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fe4973cab7824127c305f9c96ac466cd79e8e1","datavalue":{"value":"strategy quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908843$D281B1DC-CC88-484B-9246-35CB6C915E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448ffe94b0772b40240f9ee42e8d4fac1837a8e8","datavalue":{"value":"concurrent game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908843$60E2C661-DA0C-4E9A-A5A4-9B06867F8F85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908843$F7692BD8-8A84-4423-81D3-A3F29B33DAD6","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":"Q2908843$49B0BDED-8882-4D90-990F-8730F2532677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd52c4cde64738b58494eafe395067f496f24d96","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908843$5AE1DC17-7E76-41D7-8DC8-4DBF69824CC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b10f41ae90e7a1b6e7051044e31d6fdf2d74cb1f","datavalue":{"value":{"text":"ATL with strategy contexts: expressiveness and model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908843$6D8DE84D-C638-4B60-95FC-30B387989209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d22c7202ac028b3b5b3beceab660fe0382a75c","datavalue":{"value":{"entity-type":"item","numeric-id":897650,"id":"Q897650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060237108457508813cfca493d22d5a4cbfaa187","datavalue":{"value":{"amount":"+0.939391553401947","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":"Q2908843$CAF640BC-F9C5-4993-B9D6-BFEDF8A75EEB","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":"e585cdc735a982a533edf037f4c085131cf7e482","datavalue":{"value":{"amount":"+0.938819944858551","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":"Q2908843$074C9ADC-F7EA-40E0-9EE3-7FE25488C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b27f49d6eececad98023bf7bc598e72ddfe6053","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e7b7b5747bb1adb73b49b7b4201fb058a4c8d9","datavalue":{"value":{"amount":"+0.9089450240135192","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":"Q2908843$C90C9D02-27DA-4658-A72B-6D58B1EBBE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b9e52b663cf9e4ecc47142ed2c54d8a30601fb","datavalue":{"value":{"entity-type":"item","numeric-id":4992517,"id":"Q4992517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc41fd73dd248b80bc38e6b1c4f10a4787f6c2c","datavalue":{"value":{"amount":"+0.8760092854499817","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":"Q2908843$14C02C7D-4DF5-4610-9519-6422C9034505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df35b14afcd1eefeae3d517919c9afea722ae37","datavalue":{"value":{"entity-type":"item","numeric-id":2915087,"id":"Q2915087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9782bc80f3f43f125e68de5ccaa929da3b74c975","datavalue":{"value":{"amount":"+0.8524016737937927","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":"Q2908843$84D85F35-4B7B-42BE-8C63-B139F9DB4C67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908843"}}}}}