{"entities":{"Q6159024":{"pageid":13293820,"ns":120,"title":"Item:Q6159024","lastrevid":94143704,"modified":"2026-06-05T05:59:02Z","type":"item","id":"Q6159024","labels":{"en":{"language":"en","value":"An interval temporal logic characterization of extended \\(\\omega\\)-regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691017"}},"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":"Q6159024$AFCDEBEC-BF02-4D44-A1F2-15434311A45C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0a4a0202121be3e3b8b7a08737dbc27b5d8ae37","datavalue":{"value":{"text":"An interval temporal logic characterization of extended \\(\\omega\\)-regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159024$A7830DF9-7626-4F83-A24B-3B79772552EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$9414A1F7-CF95-4B2E-BC8E-36174417B29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$728B6AE5-C617-4A5E-9620-DE8E5FE96D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$93935326-3DC0-45E7-83FD-EBB5CE6C35A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$7CE63E71-3E75-473F-874C-C14272E0F52D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1ff792d185300099d93a7961359890b67878e2","datavalue":{"value":{"time":"+2023-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159024$821FE9B8-449C-45DC-BA39-E422EEAB3707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159024$572F2195-7D34-4E63-A4F0-0A211B80E0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da248867c865c2ad920b6d38b178e62bec0ea684","datavalue":{"value":"7691017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159024$AC4B8112-A802-4681-81BC-73C8BEA5EDA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159024$E05B0740-EA3E-4362-9DC2-D6C093776E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3557ccf68daba445cf6a16c061b7e132f19e594f","datavalue":{"value":"\\(\\omega\\)-regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159024$ECABEB83-118F-402F-8A39-22C68F16FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159024$2188A6D3-3729-4960-AB9E-1A97379F515E","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":"Q6159024$07F7B061-BB3F-4EDA-9AC3-1D730E651F83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e2fb6d9aa3482c8b211ddaffcaec36bd6b5310","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2023.113929","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159024$49822C8B-5942-4FF7-9A64-0355D41C301C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"807f9878781f00cb0bb23d7f7d34c6fd1867f1fb","datavalue":{"value":"W4376863261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159024$BFB84A64-5A3B-4797-9C7D-A91508288989","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29b9a56600079aca2075b97a2ccd06299685e56","datavalue":{"value":{"entity-type":"item","numeric-id":4910481,"id":"Q4910481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$68FCF690-498D-4495-881A-213DB1C1EC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$3E0DFBA4-6EAC-4390-8F7F-7FC8DE4AD89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$D472A104-C2F1-4FF8-ADB0-E07EE038A55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$7D6E75E1-F5BD-46A2-A356-9949CF9FE8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$CE80CFC1-4D74-4411-BD5D-4257CEE29189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39921ea5b5cf71915749d2f66167648a28ef38f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311284,"id":"Q5311284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$25822B9F-D744-4199-A1B5-7EA27A8CF196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a9e72cc7a907f4e0cc2ac1d393b3b2128916b1","datavalue":{"value":{"entity-type":"item","numeric-id":537919,"id":"Q537919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$5EF8B1CC-844E-4CFF-80E0-3CA583A5748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb113aea665eb4f65d07e8135d818e2226616e6","datavalue":{"value":{"entity-type":"item","numeric-id":4596779,"id":"Q4596779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$55F401DF-CB88-4151-8618-CA7742C3197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6fb5fbce8a8096326bb6bd00be95dfd0640d50","datavalue":{"value":{"entity-type":"item","numeric-id":1989336,"id":"Q1989336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$F8014C06-4B13-45DB-BF4F-7467C47FDBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8058cb8c0553970b25c28fa332ee7831a3dec7","datavalue":{"value":{"entity-type":"item","numeric-id":5271056,"id":"Q5271056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$A04E5822-28EC-434C-B36B-EEEA28019F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f520c54025dfa33e5e0c52643f533fefe1e85170","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$42817495-801C-4005-A5ED-0DC553E63BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$E25F9DBF-005F-47AD-9DDA-0C618D7F9E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$C8BAB370-3823-4A8B-BAFD-6E4CD6A8E539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$1C584E3D-7411-4AD9-8EC7-3DBDAFD5F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7639178407ee43cf970a86f75c3a3355660855d1","datavalue":{"value":{"entity-type":"item","numeric-id":477203,"id":"Q477203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$A8909EA2-E298-49B9-980E-9D3255B2DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"746ed8ff3c4e58103c4a8239280163effad65c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1740653,"id":"Q1740653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$4E9B9955-7093-4904-83B2-885747444CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36b8498ebf9e695a23a99396baf9e77955c028c","datavalue":{"value":{"entity-type":"item","numeric-id":3113783,"id":"Q3113783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$6AE4B058-788F-4CD8-BD69-C3D7F5EBD3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca749ed2185099fe6ff93252e3360a1034c63f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$A4E88362-A1C8-47F2-BBC6-2867A2D01B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ba2a02199b579aa6a012d5185faa96e7db3f22","datavalue":{"value":{"entity-type":"item","numeric-id":2900471,"id":"Q2900471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159024$39AB3273-7DFE-4538-AB05-23AFC690220E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd3ed7457aaba1839d0d47e928140f1185664f7","datavalue":{"value":"10.1016/J.TCS.2023.113929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159024$8D35190D-6954-4AAE-AEE4-BE4CE9782B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd0af360893055759a07ffd3e938cee38801819","datavalue":{"value":{"entity-type":"item","numeric-id":4910481,"id":"Q4910481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5c6ab3200dc1cacb034c2cb9cfd55a4992860b","datavalue":{"value":{"amount":"+0.8666657209396362","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":"Q6159024$4D091CDF-BA41-4479-BC4E-E01EEFA7D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f9440d7154a4bea9236416dd142aaaca699124","datavalue":{"value":{"entity-type":"item","numeric-id":1989336,"id":"Q1989336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c007779bed8e4d5c035edeea5b6bf44e1a378540","datavalue":{"value":{"amount":"+0.8403945565223694","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":"Q6159024$1213CA3D-E040-4A9C-BF25-9D9BB0630509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f39d660875ab02ee886a7abba2878d30131dda3","datavalue":{"value":{"entity-type":"item","numeric-id":3384174,"id":"Q3384174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754ba25ee3e5029ab0e1e98da3dc300e5db1d142","datavalue":{"value":{"amount":"+0.795848548412323","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":"Q6159024$D4812E78-A0F3-424F-9CED-03E19D3BFAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a61169595355e418736f096741a43e3b14394","datavalue":{"value":{"entity-type":"item","numeric-id":3752371,"id":"Q3752371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1582ce6351d534384555f759a2384eb3b06a2877","datavalue":{"value":{"amount":"+0.7781201601028442","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":"Q6159024$94A14B87-4FC8-47DE-A55F-58119CADEC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2779bf5b8c808de163adfa0dc48d10eeb2cbfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":3502632,"id":"Q3502632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8c21c1b0d7c5e74908334d331434877aff3339","datavalue":{"value":{"amount":"+0.766359269618988","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":"Q6159024$6E93A4FC-5F30-4653-90BF-2DB0DB4CB9E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interval temporal logic characterization of extended \\(\\omega\\)-regular languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interval_temporal_logic_characterization_of_extended_%5C(%5Comega%5C)-regular_languages"}}}}}