{"entities":{"Q4994943":{"pageid":7024520,"ns":120,"title":"Item:Q4994943","lastrevid":91810067,"modified":"2026-06-05T00:07:47Z","type":"item","id":"Q4994943","labels":{"en":{"language":"en","value":"On the expressiveness of TPTL and MTL over \\(\\omega\\)-data words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361963"}},"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":"Q4994943$222EF59B-BCAA-4F19-AA45-C9703336C31B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"090098b25eb7a441f3cba5fb8ddbc7a956971c5d","datavalue":{"value":"1464.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994943$2FEDE143-9A0D-407B-90CA-A686DF6BABD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0304269a52369b78f1d53e7a704975278af2eeb","datavalue":{"value":{"entity-type":"item","numeric-id":269501,"id":"Q269501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994943$2E4B2FBB-A7EE-4E8F-86E9-AC0DCDF90538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff14b2229f33735cab555903b1ee721898ea9a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2102775,"id":"Q2102775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994943$E13AC97D-CACD-4069-98B5-3C51432708EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc9194fbe73077005431203a553743fd429dcae","datavalue":{"value":{"entity-type":"item","numeric-id":831923,"id":"Q831923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994943$42E6C133-FBCF-4BF6-B62C-2799AC7AB1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994943$14EBB267-8179-490A-836C-AB234BD683EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994943$C70B1007-DB49-48D5-BA6A-661BC66A1C19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"146b34eaf10e00dbe011a6c6f3ef7dc1b3157657","datavalue":{"value":"https://arxiv.org/abs/1311.6250","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994943$D85758C3-F962-4152-8E39-7D8C17BA3555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"804a60bdf0261fbf2bb9294fc6a8e254547c52ad","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?AFL2014.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994943$33FBD39C-D8F6-44CF-A032-75495473607F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994943$805341B5-10F5-45FC-9E2F-D94455FB7435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994943$A17ED9C9-8608-4F1B-9313-6015978DD2DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aab626d76514a624002fa895c567adfc2bdf1d94","datavalue":{"value":"7361963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994943$AE0F0B45-AF25-489A-BD0D-888AD46AA75F","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":"Q4994943$626179B6-B3AE-4D04-98B1-D2055048DD1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59888d4d4c960f54c06ebe0b8a8251245aef7b66","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2e19f11d0884e82747792fc968a8e0a691bbf1","datavalue":{"value":{"amount":"+0.8621425628662109","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":"Q4994943$5F4C90D9-4CFC-4A2D-96ED-82C07228B53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87140c1bfb7e55f08f419292b7fdc6f4286cf4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2266987,"id":"Q2266987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc186a1cd0bb7db938cc326ef6c4102d19ea6e40","datavalue":{"value":{"amount":"+0.8597303628921509","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":"Q4994943$4034636F-FFA9-473A-B79D-F4416270D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7933e8cfb16a170ea926bf689f3b2cb827630394","datavalue":{"value":{"entity-type":"item","numeric-id":5404916,"id":"Q5404916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bff716093f39269220a8f5b95c5ccdb095ecbc","datavalue":{"value":{"amount":"+0.8514874577522278","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":"Q4994943$BAF7164A-7DD6-4BC4-86E0-104C37922280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1af87cd9755d08805419af1bcfcf866bccfea4c","datavalue":{"value":{"amount":"+0.8466194868087769","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":"Q4994943$2CBE9FEC-241D-461A-AE23-CF4DDEC8E4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5333daa6ee3d5bbc4159c6fd02b57d57fc7c2b06","datavalue":{"value":{"entity-type":"item","numeric-id":3447701,"id":"Q3447701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5190355e539cb63144e95c328fd3c01f30f1b13c","datavalue":{"value":{"amount":"+0.8343662619590759","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":"Q4994943$5A8D8095-C45C-4AA1-AC8F-5A7CA6003048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressiveness of TPTL and MTL over \\(\\omega\\)-data words","badges":[]}}}}}