{"entities":{"Q3511240":{"pageid":5541144,"ns":120,"title":"Item:Q3511240","lastrevid":48902254,"modified":"2026-01-06T03:17:35Z","type":"item","id":"Q3511240","labels":{"en":{"language":"en","value":"Model-Checking Timed ATL for Durational Concurrent Game Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299135"}},"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":"Q3511240$D1CA0470-0951-418E-A96E-29D130AFBFC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b63520ff370543d37ea175511d70e570a4c8e60","datavalue":{"value":{"text":"Model-Checking Timed ATL for Durational Concurrent Game Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511240$6082B1CA-F93C-441F-8751-14F0697BC5BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aae5e8b88b60e9da60a4386b492681dca6388f2","datavalue":{"value":"1141.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511240$A8619922-EEE1-460C-865C-9CBCBBC436D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed45525ef088092351dda5dbe6ed3ea4389c0421","datavalue":{"value":"10.1007/11867340_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511240$70855350-0D39-4F2D-B4F4-D5A534D13DC5","rank":"normal"}],"P16":[{"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":"Q3511240$DFD27065-E6B9-44DA-B252-391B7E05703D","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":"Q3511240$8EA84A8A-A794-4E3D-8C45-9A0B01C7E0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"732ef45d5e52e0ffb73e80b11e889203cdd37670","datavalue":{"value":{"entity-type":"item","numeric-id":3511239,"id":"Q3511239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511240$6BFFA3FD-01DB-4B87-A31D-A0FD99CBDFC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511240$26EFC258-623C-4FD9-AE20-E10735DB3CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511240$97687DCC-90F0-4CD6-8A3F-236EEA670635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511240$DFB6049A-AB8F-492C-89AA-DBC1CAAF9F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511240$057F368C-A30A-4C32-830D-13DE185A1FAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a14ede415b459aee6487541192d4dd82ce6639d1","datavalue":{"value":"5299135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511240$1DCCA0DE-9403-43E7-B800-979D015A8639","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":"Q3511240$818547DF-B362-4395-ABC1-0B7F9149D891","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d41a038b34bc32697ccfb50ef07624ee3372f6b3","datavalue":{"value":"https://doi.org/10.1007/11867340_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511240$71E28DE0-D5A0-45C0-B662-B8379CD5E7C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f451116c724b23a1c13e0eb9ed0479cba26a632","datavalue":{"value":"W116583532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511240$BC2BAAB1-9F64-4F53-8F02-1652C1D7A469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a2743cd43870534116177d59270b4d433c36e0","datavalue":{"value":{"amount":"+0.90320987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$C0514FEE-AA9C-4427-8BF8-8FCBBE4607A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f1150041b24f8bc7d35bddae3c89e4d0b143f1","datavalue":{"value":{"entity-type":"item","numeric-id":4691736,"id":"Q4691736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5d960c6a8471d148bc9fa3a737311907ebd438","datavalue":{"value":{"amount":"+0.8854319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$FB46D9FC-6BDF-4214-9B52-FB675889EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a4daf06ffdeece52375ea122e6f15fefeb94b","datavalue":{"value":{"entity-type":"item","numeric-id":2225595,"id":"Q2225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8be415112a699da954484461755b0265e55ade6","datavalue":{"value":{"amount":"+0.8852501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$C6FFC531-9F52-4CB3-BF3A-B5225630F002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94ff7567d8465d29136fdd773acc78b9e61efb","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3165b0ef2aa26c2de6a73eb7cf4f2783ae2cca","datavalue":{"value":{"amount":"+0.8843147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$DCF0A095-DBCC-4338-BA1A-6023263CBB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea44dad9bbb9a070b72fdd9d0fc9f81892e318b","datavalue":{"value":{"entity-type":"item","numeric-id":2018058,"id":"Q2018058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3165b0ef2aa26c2de6a73eb7cf4f2783ae2cca","datavalue":{"value":{"amount":"+0.8843147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$3CC09408-EA72-4925-BFA9-70C6A0C162D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264adb1fadd37fb9713936d0c0d9bfc3b3666b6f","datavalue":{"value":{"entity-type":"item","numeric-id":2851314,"id":"Q2851314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd4297596f60a72fd788b075419736da18dbc83","datavalue":{"value":{"amount":"+0.88051915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$FA9891AE-55F3-4F18-8C2A-64C44504CCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a403441d53bfa431c112cef7c492fbacfec62dd4","datavalue":{"value":{"amount":"+0.87913185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$C078C86B-8035-48EC-92BA-C55196898156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e8ba95b3cf65e677e30c4bd3d5f10b6520b67","datavalue":{"value":{"entity-type":"item","numeric-id":4576245,"id":"Q4576245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0542967a90f6299b8fa87e301d25a10ca58e291","datavalue":{"value":{"amount":"+0.8756161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$0F672299-2D22-45CB-9B84-D739E87FAA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e4b993dd259bb49ab2d4aea2c8857a3e4fc540","datavalue":{"value":{"entity-type":"item","numeric-id":2920115,"id":"Q2920115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836bb287533fafb803c7b4a3b31fcbcb5a481a7f","datavalue":{"value":{"amount":"+0.873232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$776587E1-AED1-46A9-869A-87D505D7E6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2b182ffcad39c691c136753e848b04cb59084f","datavalue":{"value":{"entity-type":"item","numeric-id":715043,"id":"Q715043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836bb287533fafb803c7b4a3b31fcbcb5a481a7f","datavalue":{"value":{"amount":"+0.873232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3511240$06C79FDA-2790-4F96-AC84-71A03F3C785E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511240"}}}}}