{"entities":{"Q2901208":{"pageid":2911933,"ns":120,"title":"Item:Q2901208","lastrevid":84922958,"modified":"2026-06-03T05:11:20Z","type":"item","id":"Q2901208","labels":{"en":{"language":"en","value":"An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058062"}},"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":"Q2901208$EDF26CE5-3D3C-40BB-9E93-C0F4354AF1E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"930af06c0ad934839037139181b1a37bb436999d","datavalue":{"value":{"text":"An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901208$FB65CD43-431C-455D-91A8-0A37A569975A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db02a768cca9926d2edf92a49fd2dd74b0a4526c","datavalue":{"value":"1242.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$7D9C5629-9F1E-442C-960F-FF44010BB558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$C0BC4E03-04AF-4C5E-B480-AD071BB9BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a06e5ef1bece8fdb4fdd3515de35bf8fe9d93b2d","datavalue":{"value":{"entity-type":"item","numeric-id":282108,"id":"Q282108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$118F95BA-3DEB-457F-96D2-35E3A3687204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$37D85F3B-3497-4DF8-A888-96165A475769","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$01619E16-DFC5-4005-9D55-3A489974CEC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2901208$7D721A62-DC43-49A9-8D7A-9BDB4177D19E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$A5553989-5789-4613-86C1-6F6D57ADE10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$13873402-63F2-413C-8C7F-7E7EBDAAF963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$91EF183A-4A0C-4B29-B27A-B8DBB799F91F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5d97489707a11ba585a9f648f10f26d061f71fb","datavalue":{"value":"6058062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$4F075FEF-19D0-4E33-917E-424D38C768BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$816A9782-82D4-4ABB-BF46-D80D17144AC0","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":"Q2901208$71DBCA55-097D-4C99-97F8-7355582F1BF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17d3bed216107982dcccacb4a9eba7ab96d31d8b","datavalue":{"value":"https://doi.org/10.3166/jancl.21.93-131","type":"string"},"datatype":"url"},"type":"statement","id":"Q2901208$C2F5DA62-26C4-47FF-ADCE-25EFC0EE20B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0265311e23112d3e0fee976ffb316f306e8febd0","datavalue":{"value":"W2068331423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$84FA2221-BF75-451B-B320-C65A00481D26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce8ab94263d75d8d64459463341cdcd187b079f","datavalue":{"value":{"entity-type":"item","numeric-id":5758138,"id":"Q5758138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$4D038CD1-E9B1-46E9-AF78-74BE90FC3C36","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":"Q2901208$44DD49ED-204F-427B-A0F0-213B392A81CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535088cbd928b7e9a1ce72f8128999f90728a6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$69EC8FE8-6F74-45EB-9877-8F05345FE328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6a76fd2050997b990e9c940543c0aeb7eb24bc","datavalue":{"value":{"entity-type":"item","numeric-id":2431875,"id":"Q2431875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$56655B56-A9E9-416C-8A67-D88CFE9FC42F","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":"Q2901208$A529DE57-332C-4699-91C7-9B98D52A47C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$2D2808D5-0E8C-4AA6-97E9-C8CAFF3F8693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$D353041B-9E83-4065-A684-8BEDDB6D12CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8995ed70027dfa2c02af6e3d1c6c16197a395e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647280,"id":"Q3647280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$D5F2A4A5-6A6B-4C22-BA3D-707194B47E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$9A75BD9F-B214-4DB3-AE57-FC1DACD43970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311e7ea5e9c4b3c79d5eb4c907cd6989b685383","datavalue":{"value":{"entity-type":"item","numeric-id":800838,"id":"Q800838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$6D945FAD-EDFF-4A39-B0EA-FE05BDC8E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$E9AB091D-509A-478C-A277-B8277D52C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a227c99258bb23e99104c126e984c2a288cec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901208$C048D835-AB66-41F7-AAE8-D58480F73C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b274463215e0e27c5ebfa3077dce7796cb4a59af","datavalue":{"value":"10.3166/JANCL.21.93-131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901208$82579D5A-331A-4BC5-BC5F-B91B56D5BEF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ff84d4fc689cdf3925817f60fa42fb60530bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5151003,"id":"Q5151003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb51acefe21f8ae4a4228ee2c1922b36ad1c04fc","datavalue":{"value":{"amount":"+0.92350036","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":"Q2901208$C3AC2F95-7DF8-4CEB-9558-5C0CEECF85BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9335eb23f7131179089b0d9b8df6b26603ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1989330,"id":"Q1989330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0527944f7227166e3bff26ec07e07920a305c8d","datavalue":{"value":{"amount":"+0.9053172","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":"Q2901208$0E15E693-C59C-4703-AEFE-2BEECA957329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1757275b6837c56cd25566854a6ac73fce2ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5079770,"id":"Q5079770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c5336c10f39a571af5a55c8777a5617ff636e9","datavalue":{"value":{"amount":"+0.90438926","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":"Q2901208$C1DCBBC6-F17D-4979-B641-9BEEDF1810B7","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":"009aff2483addad1e588132c2baee6098aaf22d1","datavalue":{"value":{"amount":"+0.90180314","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":"Q2901208$17D3036F-BE25-487E-A3DF-A71C2E9521C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94098e9749fa059a1c9d2d5485a05f42dbfdb02","datavalue":{"value":{"amount":"+0.90075237","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":"Q2901208$A795DC89-462B-4DCA-B21B-EE1982F4746F","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":"f58b183af1638a68cb0234155303293c4970967f","datavalue":{"value":{"amount":"+0.9003224","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":"Q2901208$08BE4B05-FC74-4DAD-B858-AA19D4DDB3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dac20b99a07cb897cf6c1afa7a12f1c064ca3b","datavalue":{"value":{"amount":"+0.89947236","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":"Q2901208$348B2812-1BA8-4AB1-9262-2B759899DE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921f9905cf005cee930391936e86cb85105ad725","datavalue":{"value":{"entity-type":"item","numeric-id":2844043,"id":"Q2844043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbdbed9b0a52ec4e4fb631bf49453d8e5fc9fde6","datavalue":{"value":{"amount":"+0.8978862","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":"Q2901208$9C8D5CB0-AA5C-4FFF-B9FB-7D6B84EC6C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4252dc9c3df35fe29c5a62fd4b10da4874d628","datavalue":{"value":{"amount":"+0.8961841","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":"Q2901208$9A89B6DD-40E8-4ABA-8D12-B52BF87C08A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0e054755274cfa2db1a8271b96566f81e97c94","datavalue":{"value":{"entity-type":"item","numeric-id":1881777,"id":"Q1881777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906c2036cbf06b62cc98897426a27545ad71328e","datavalue":{"value":{"amount":"+0.8891008","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":"Q2901208$62A07130-DFB4-4E3C-9065-74A07B407C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternating-time_temporal_logic_with_knowledge,_perfect_recall_and_past:_axiomatisation_and_model-checking"}}}}}