{"entities":{"Q7010082":{"pageid":21563436,"ns":120,"title":"Item:Q7010082","lastrevid":81644345,"modified":"2026-05-06T19:00:35Z","type":"item","id":"Q7010082","labels":{"en":{"language":"en","value":"Alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013870"}},"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":"Q7010082$2A46733F-0C2E-47CE-8B36-87CA3D02EEB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c245ad1d26c99885d37ac63e1ec4cab330040b2","datavalue":{"value":{"text":"Alternating-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010082$41DD7E55-5AD6-4AD9-807B-B64A8E8028C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3913e7fa4a267542050b07f63aa41901e4aabb72","datavalue":{"value":"1566.6808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010082$E6CE5E4D-4F2A-46C2-BEA3-2F52F835AB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c153da4a57a4a43c5110388c2a639780a9413512","datavalue":{"value":"10.1007/3-540-49213-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010082$FED8A339-E6BF-437E-96B0-81FE357A42A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$F3DEF85E-4636-461E-96BA-E6C6522EC5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$616B6F4D-8B63-4BE8-9C40-33C76506846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$FD31CC35-2D3B-4571-AE36-137FD7AC3F82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010082$AB33923C-34DD-404B-A2FF-D8565FA92169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010082$932740CF-C974-42C4-8986-E5049FFFA934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010082$AC50DD64-38BA-45A0-ABB8-2C17F7090C71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"280b628456262a7996d34d69aeaa8a72935be97a","datavalue":{"value":"8013870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010082$E8362EE6-5E40-4AA0-8074-10269BA2435D","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":"Q7010082$4C5ADEF4-6BD1-43AE-B798-64920D4D3F1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$1B9066FE-AAA9-4076-86D3-0C1EEF62E7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$C5B1B06E-A50C-4943-9ACA-DCB2863CE05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$022A36F6-D42E-4CBA-BE21-7B3AEE97DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$39425DCC-B4A4-49CC-B050-24D69ED41829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$975EF455-ECBA-4E4E-9C3B-2A9FA40B92DC","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":"Q7010082$BEDC33B0-A14D-433B-9E22-CCA3BDF71DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6015b98c992039d1b6d7a513eacbef9ed89085aa","datavalue":{"value":{"entity-type":"item","numeric-id":4632424,"id":"Q4632424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$9170D40C-FB50-4C60-9A87-9597C30617F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$2E56B3F2-410A-4422-A096-8A918F749BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$AB2C3FD9-7C4F-4EC3-9B4C-0F935D72FABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$F1D0D913-84DC-4159-AF20-FD62826E9083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$2F755ECF-BDE7-4E51-8770-39B3DB1F965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$9C66AE70-B368-4159-8F35-0FD9F38F5452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$F399A85E-6E82-4671-82E7-36FA0FE0F25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$0FB624AA-F316-4A49-A3A5-879BEABCB1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$9FFD8AA6-4E8E-4A33-9687-C1834B0387FC","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":"Q7010082$9633022A-C69D-453C-8FBA-34DA748865B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$75AC514A-0991-4525-92F9-1800E6BE96D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010082$73B33E7B-98BA-4876-B40E-9E10F71236AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating-time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternating-time_temporal_logic"}}}}}