{"entities":{"Q3511218":{"pageid":5541122,"ns":120,"title":"Item:Q3511218","lastrevid":50401526,"modified":"2026-01-13T23:38:01Z","type":"item","id":"Q3511218","labels":{"en":{"language":"en","value":"Timed Alternating-Time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299118"}},"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":"Q3511218$92D00E73-D9BE-47EB-A4FE-3267181CEA3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b32eeb0cfd3c32b6c8fada3c361d0651a2b06a3","datavalue":{"value":{"text":"Timed Alternating-Time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511218$8489CBFD-5929-4356-8994-832B0E941825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e902f1765a11c585b15ac5addce1aaaa5548975","datavalue":{"value":"1142.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$5E08102D-830A-4925-A03E-97FD4190529F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33af50f3ee1d116814f2ba6506f3aa0a73010ecb","datavalue":{"value":"10.1007/11867340_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$89281F54-4758-49CF-AF4D-298B21372E9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ec99ef01374ac77ba66b40a207a2d3d7ecc8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":388223,"id":"Q388223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511218$2AFB848E-D901-48D3-BF75-205D698156D3","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":"Q3511218$8A341E28-7851-40AD-AFBB-40AADACC1C1C","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":"Q3511218$78E61CDE-FF82-4F2E-800A-AD8D61B71C82","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":"Q3511218$7FB54F9C-34D2-41FF-BE3B-7190A8C2C069","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$F6BADF21-EF12-4F70-9493-5D71A283C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$693919C0-C61D-4B53-95EB-98E048C723D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$1BB15556-BE91-4DEA-B617-B9533492380A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83da57d457d28eff4d2db1611aed6a6feaaffae","datavalue":{"value":"5299118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$1BDA0008-0421-4A9A-A913-90166BBC47F4","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":"Q3511218$ECBDF485-E2FE-4DA2-AB3E-9DDC5B24F245","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5fe4a290d101b30f6372076bfbb651b8a05ccc8","datavalue":{"value":"https://doi.org/10.1007/11867340_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511218$FA083770-DDA4-417D-A85C-0A9CFFB70100","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603805ace88457669b5eec657613b9f208999f5c","datavalue":{"value":"W1506670447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511218$F83CBA8A-64D4-4A9D-A467-879841EF3437","rank":"normal"}],"P1643":[{"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":"afa7d1b77a8a1ccc3ae78298311294b4c63c1db5","datavalue":{"value":{"amount":"+0.8473759889602661","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":"Q3511218$E37B5E03-6529-460E-BE41-94F460E9DD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ab02ce864981f89fea68e1ad9ced83ec8fbad3","datavalue":{"value":{"entity-type":"item","numeric-id":3568107,"id":"Q3568107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a932c8da6137d6bc2952a107ae140851bfe06f","datavalue":{"value":{"amount":"+0.8365222811698914","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":"Q3511218$8BA4160D-8CBF-4B19-BFFD-04B1F5D4DB75","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":"8daa8d50ab6d7517820108b38333d70fd3a9318b","datavalue":{"value":{"amount":"+0.8303145170211792","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":"Q3511218$E4CA640A-72D8-4C43-8CCD-ABE42E7F18EA","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":"71ecde598556f97ca5a55832765a27e77e0ef89b","datavalue":{"value":{"amount":"+0.8302325010299683","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":"Q3511218$CC0EDAB7-E52D-424E-931C-C8CC5D42DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1327c7f901225fed02a6ee37c66520d136b99443","datavalue":{"value":{"entity-type":"item","numeric-id":5235469,"id":"Q5235469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00dc8e9641a6f9b2f039c1d0f6a871a45ea7c84e","datavalue":{"value":{"amount":"+0.8133127689361572","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":"Q3511218$22534A79-90BE-4321-80C0-7D6351E14313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511218"}}}}}