{"entities":{"Q2334601":{"pageid":2345344,"ns":120,"title":"Item:Q2334601","lastrevid":53586263,"modified":"2026-01-25T09:25:24Z","type":"item","id":"Q2334601","labels":{"en":{"language":"en","value":"Alternating-time temporal logic ATL with finitely bounded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7127844"}},"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":"Q2334601$27BFE360-2926-4220-AD9A-E58226B77808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8027e56bd680db8ee69ab1209825c708c172bd91","datavalue":{"value":{"text":"Alternating-time temporal logic ATL with finitely bounded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2334601$4BA12AC1-57E2-41F2-BA6E-8F289C6E4C37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba9cd1c5e8708b864450728f7dfc7497f904411","datavalue":{"value":"1434.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$DAF84582-54F8-4C49-9DCE-8B7F55D86F9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$8598FE2E-1C8B-4774-80A9-04D0CF378CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1d40d28e0398bcf7c4805f2a1cae910df48add","datavalue":{"value":{"entity-type":"item","numeric-id":1679740,"id":"Q1679740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$52D020A2-53C0-4EB6-BD48-204D9D00EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$CEA8971D-136D-4107-AC3D-C48213C9E6C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$7580B9F5-A052-44E2-BE0F-0B813055904C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a91f08461f9e646364fadcbd4312240acf11d5b","datavalue":{"value":{"time":"+2019-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2334601$EE74B332-CB5F-4753-856B-5C2534678B38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$D1DDD693-718E-4888-B202-127341558108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$E7BF7A6E-E7AA-4355-A784-A2E1B2F9C36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$A967B367-50D5-4B61-A648-1EE08210ACC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$8F83C7D7-FC64-4579-A703-DD896D3800E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ca89b8bf2595be3a6ea7dcda4501476bae84b5","datavalue":{"value":"7127844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$244A0957-2AC5-407A-BE9F-E255C6BFA39A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334601$F3664B48-2261-46F3-AA0E-5AA6976F418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3547acf1dae39874400a9a3416ebb73452705669","datavalue":{"value":"finitely bounded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334601$8840E2DE-7F71-4917-9177-E438E07A0392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334601$6140F341-3AB3-4792-8984-E0FBEA07A90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334601$8403D0DD-2250-4834-9E27-100C59380F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334601$DC651919-A815-4D4A-9C3F-AD7AF878A4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334601$B00A0461-66B5-4104-BDAF-41057C827B5D","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":"Q2334601$F70C164C-1CD4-469E-AE00-7D0BF51105DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c15e6b1c5186d411eccd2075444ad210fe63cb9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.05.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2334601$A60BAADA-76E3-4F85-8848-A55194C153ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3473daf166a822cf58a1f2cacd5cb45c0dd2f5c","datavalue":{"value":"W2955530792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$62FAFB84-E9A0-43A0-A147-849E9A53EE86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4df350897ed97a98873cf8f8178c1d34761063a","datavalue":{"value":{"entity-type":"item","numeric-id":4931280,"id":"Q4931280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$C72EFD5E-73B4-4198-9B32-D049F15BAAA9","rank":"normal"},{"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":"Q2334601$8124F3E7-6475-4A6E-B482-B1F44B7BF223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$F3222643-B676-4B8A-A5F6-A5C8EED50347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02669b554ff63921e00d1ff563d5504ca5e71d83","datavalue":{"value":{"entity-type":"item","numeric-id":5277905,"id":"Q5277905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$94C660DA-E1F4-4C72-8DE5-A9093D456E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$67B31205-BFA8-4B69-BE19-4018DE8EF234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$C02CC637-DC66-4CC6-9FBB-111B38B9D28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b86e67b2a6f8cdf93897e49fb312dc5e360f35","datavalue":{"value":{"entity-type":"item","numeric-id":5495107,"id":"Q5495107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$8784B1A9-C367-423D-A9CF-4AA37E796B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$7E63C7CF-C679-4C1C-82EB-8856E0EF991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733c8ff50f86f78d66bd382be1bd6e20904d040d","datavalue":{"value":{"entity-type":"item","numeric-id":4691736,"id":"Q4691736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$1AD04414-61A2-4A6B-9CA3-3253D2CBD4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd593069bc464dc8023f74f8ac24aac42504d8","datavalue":{"value":{"entity-type":"item","numeric-id":2946589,"id":"Q2946589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$EA238D62-42CD-4028-84AD-4020182A660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a85d60a2ee6f470b072052d7cd8be0eccee601","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$13B62E6A-E193-494E-844E-4D18E55CE669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$A13CBBC2-B691-46BA-A2F6-D3DE7D6795C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711924fc50de3187aa33f0ba192a73e906a3e94d","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$7266C316-5D1E-4528-B375-8FA081428C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$5DC088E1-AF58-49E5-8FF3-040E3BFACE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14c09f16da91cec7573c8cf328cdcc7153dcc5c","datavalue":{"value":{"entity-type":"item","numeric-id":2870156,"id":"Q2870156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$A2EB5C33-37D0-4646-ABA0-310F987B0ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bf56316f400add0d0fd24e4ac8769d1d269f45","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$D5786FF1-BE64-44CD-A146-AE70D219E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ca8c66fbabb6cddbda11a6c90f74986d6132bc","datavalue":{"value":{"entity-type":"item","numeric-id":3431973,"id":"Q3431973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$89989126-DAEF-41CB-9324-7260E9D58334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9721deb9442f38adb19cb0812a8c6d85f84e24c8","datavalue":{"value":{"entity-type":"item","numeric-id":483292,"id":"Q483292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$B0A232B1-1D50-4B9E-9025-40C0CE6ED08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013b378ab3df0b67c8ed7d5ba3b32b291ab61fea","datavalue":{"value":{"entity-type":"item","numeric-id":6487463,"id":"Q6487463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334601$48752168-2BE7-471E-BC85-AD4A8C001C0F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a161fa536373b0f53cc41ffafabe595b9e700228","datavalue":{"value":"Q127565670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$B2D02B45-7D22-4B32-AA24-C039364001CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d456cbb6b038f36fec0c4e7745487364a1602bc2","datavalue":{"value":"10.1016/J.TCS.2019.05.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334601$C580BC79-99CF-4ABC-9CF9-9AFA58ABC220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060dc24f45e1c01819b82791102c02f56e8472df","datavalue":{"value":{"entity-type":"item","numeric-id":6487463,"id":"Q6487463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1f042e8ce1745e9e55b8c5d4b8c9424186446d","datavalue":{"value":{"amount":"+0.8767377138137817","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":"Q2334601$129B59DB-FD0F-412E-B665-E3B2E54C1E2D","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":"0657ae453ff566f58195a1d5049609f2abfa4715","datavalue":{"value":{"amount":"+0.8374528884887695","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":"Q2334601$503ED73B-B4BE-42E8-A79A-DB7E50C159E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee997055d7bcadd327cf69d768751f7bd517dea","datavalue":{"value":{"amount":"+0.8209799528121948","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":"Q2334601$B69FB422-73AA-40B7-80DF-3BEEF8855608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f8ee1b680fdc51f9610989ebf52c4e6c8d6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ba1ee09f56fcf036802f4e47f2cf4e903e3434","datavalue":{"value":{"amount":"+0.8116974830627441","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":"Q2334601$CD665F6F-EAEA-4B55-B659-1A903FFB933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70192699b2f4bf6f3062c2880bf9b612b45020b6","datavalue":{"value":{"entity-type":"item","numeric-id":3192199,"id":"Q3192199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b985a93d0642906394ccf5d51cab2ebc8987c1","datavalue":{"value":{"amount":"+0.8104278445243835","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":"Q2334601$CD59CADB-3CF2-477A-8721-E85C631F511F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2334601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2334601"}}}}}