{"entities":{"Q2148802":{"pageid":2159545,"ns":120,"title":"Item:Q2148802","lastrevid":55411984,"modified":"2026-02-17T15:50:01Z","type":"item","id":"Q2148802","labels":{"en":{"language":"en","value":"On the expressive power of TeamLTL and first-order team logic over hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547748"}},"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":"Q2148802$A0D72DA2-354A-4EA9-90CD-A2BCAB5A1926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c067c5c28543833064d0b6d01c4df33db58d377","datavalue":{"value":{"text":"On the expressive power of TeamLTL and first-order team logic over hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148802$70360A72-0B45-4BFA-961C-983FAE7111C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3be7a8d422b68fc49cd194dae4b6bc46bcaee84","datavalue":{"value":"10.1007/978-3-030-88853-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148802$80A0F36A-55DE-4CA0-9537-2EC385E458C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$D38FD1D1-46D7-4C83-B160-75F861870310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01ade2119de8830c2bb49117e973d874b2809a48","datavalue":{"value":{"entity-type":"item","numeric-id":2148801,"id":"Q2148801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$9E376A6A-5456-4C02-A92A-0CF0FE073B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148802$6B751FDE-90C1-432E-ACBE-4372006F46A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b96704e6233d030642b3afdf95eddbc8a74d6a1c","datavalue":{"value":"https://arxiv.org/abs/2110.11109","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148802$E4DD8053-A691-46D7-88D1-10CDC306C77D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148802$4DC4E3C5-E891-415D-9AD5-ED221CC11D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b18a72d4cfb8b1d8cb2a182c26ab626bbe1a3649","datavalue":{"value":"7547748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148802$0546199B-D485-4877-B8C4-353BA1864DE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148802$084C0005-430F-4257-B4C1-AEB16CC385EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148802$7DE047BC-EFCB-44FC-8F90-9ABB1E0DCC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148802$06B02B6F-3375-459A-897E-E2ECD0FD5055","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":"Q2148802$108A4B78-CBA0-493C-AE21-BBB97A3BA130","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a9e1884570896fd19ef242598b2bd2c93bc1fe","datavalue":{"value":"W3201171525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148802$B58BAADA-1CF5-4ECA-8412-C4D731B0B85A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$D09FF512-DAA6-4FBB-83FC-045A4593B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$16A26565-CE20-40E3-98A3-8CFFD66E36E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846061f0875834aec2bd94daef27b0daf76b1e96","datavalue":{"value":{"entity-type":"item","numeric-id":1956375,"id":"Q1956375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$CF1FF4FE-CFF4-4B56-BFD9-FAB6AF302DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$29BF9ED9-377B-46E2-B580-3423720A7CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f7d33ac25b10eb1bd60ef4dfd2a228c0e1581","datavalue":{"value":{"entity-type":"item","numeric-id":5894359,"id":"Q5894359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$656816A7-A15B-406F-8B5D-E17AA84C3375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99beac329e11d5c5d4b30ea1e65a39423ca87393","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$D178E348-E05D-432F-80A0-9C9F1B4E4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$ACE4E94C-2555-4407-B04C-CF452F4FF43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b199289f3e77bce06b5ffc2b7a01dcb2867440cb","datavalue":{"value":{"entity-type":"item","numeric-id":2636536,"id":"Q2636536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$856BBCFF-AF5F-489E-B2DA-9D13CD961073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612aae72181384189269a9b1cb968c0297bfb4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2193280,"id":"Q2193280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$2936B6A3-F931-45EA-A2C0-52185578CBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148802$DB52AF40-59F1-4A57-B380-E60DBFD1F2F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c5cfaa87cbc6fb0bc50c5422282d9bc09ff24d","datavalue":{"value":{"entity-type":"item","numeric-id":2193280,"id":"Q2193280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4346e0f7279984dc7c2e0fb63a3b513f7d60dd60","datavalue":{"value":{"amount":"+0.8833792805671692","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":"Q2148802$27C731F4-041D-4398-BD84-C98BF8EA1ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326cb7b16b6cf82f34a9411671873be389a64817","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af241787bdd1f7c31912eda4678307113e596ad9","datavalue":{"value":{"amount":"+0.8327530026435852","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":"Q2148802$F4BBB45C-6619-4539-ADFE-5443D15D2CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830f513061478f8d4425154cc0d1c77044c33c9e","datavalue":{"value":{"entity-type":"item","numeric-id":6649479,"id":"Q6649479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39be0a9c99e43b7a1a718565058b645f0631a414","datavalue":{"value":{"amount":"+0.8151988387107849","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":"Q2148802$72F302CD-919A-4DE3-8BA8-B3DF29028DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0e5c2d598cba3e27a2fb11ffb9f5f9a137005c","datavalue":{"value":{"entity-type":"item","numeric-id":6647693,"id":"Q6647693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34bcabb5d43ba41e07593a8d4c8b6282f43ee0bf","datavalue":{"value":{"amount":"+0.7839002013206482","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":"Q2148802$72DB4ED3-E3F3-4114-A6A3-94B260407BDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2148802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2148802"}}}}}