{"entities":{"Q5079769":{"pageid":7109345,"ns":120,"title":"Item:Q5079769","lastrevid":54327266,"modified":"2026-01-26T15:44:17Z","type":"item","id":"Q5079769","labels":{"en":{"language":"en","value":"Extending fairness expressibility of ECTL\\(^+\\): a tree-style one-pass tableau approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533368"}},"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":"Q5079769$E7F26AF6-2D94-419E-A514-B857594E1CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc1c97690d108061961ec3a5abfbc0b458c83aef","datavalue":{"value":"1487.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079769$74412B19-3314-4EEA-B6DC-F50292F01D9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0c039d765482b928c3f3eae6d2c20d57ac6169","datavalue":{"value":{"entity-type":"item","numeric-id":862825,"id":"Q862825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$7C1DD441-F41D-405E-A310-145A54567F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$C4A89111-40E4-49E6-BAFE-AF904DEFB82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$70C608AC-28FA-4ACD-91FC-C0D0121A996D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079769$D6D21C41-1419-4883-B1EC-27A23E0223A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079769$DCAD5549-52A3-4DE4-ACEE-2AC96606478E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079769$0C0140DF-2092-4F0F-B0A4-A1A4169917EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22510e4136afd11890ff2263c32357cb12d13e97","datavalue":{"value":"7533368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079769$08924935-5CA7-4260-BBF7-8CB7B770B040","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079769$1B61210B-D147-4F9F-BB26-416F2AB7EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079769$EC167964-AAC9-4B45-9E4E-D6CFF218EE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079769$BFF6BED5-E197-4EA5-AA09-8E4EFD6DAED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b233c887dd94ecd19186a7517f258ccb36e4432","datavalue":{"value":"branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079769$6F50D275-A36B-40DB-B712-02BAD4F8C9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d54c5f7b325d9060f1b5c1faa318cb54ea277d8","datavalue":{"value":"one-pass tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079769$5E637471-8662-4CC8-853C-ED872626A1D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d71b555d0fc422dfe27ba710278d9a7fb7a533","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$ED8BE190-8532-42B6-B5F6-646843D13951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1dd593caa76171727c63057fe580e976fa16cf5","datavalue":{"value":{"entity-type":"item","numeric-id":23931,"id":"Q23931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$77FD2FD0-9045-456B-92BB-F6F5F308E0B6","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":"Q5079769$1CF05573-F431-4D2E-8A0D-1B609DFE584C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$392C79DC-B313-4EBA-80C8-8608A81CFBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa9bd4a85c4c49445e39f562d8e5bf96db06519","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$3567D7EF-BD7E-47C2-A491-4E1573C41F95","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":"Q5079769$A04F63DE-12DD-45D1-B026-93A8CD82C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$EC6BF3CB-6013-4D82-A041-CB0508B81605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$149222DB-42B9-476C-94FF-33676FDBFC2F","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":"Q5079769$81897351-62D6-4755-8C99-FDF1C723A933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cd8194a3fc228f214fac78ff49656f72b7f1e0","datavalue":{"value":{"entity-type":"item","numeric-id":4722045,"id":"Q4722045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$20F71BD2-188E-4AB5-9F1F-DCDD5F0EC989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a496189b2c0d0db72b1b1548e59d07017b738a59","datavalue":{"value":{"entity-type":"item","numeric-id":1035676,"id":"Q1035676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$BE3EEC77-4FFF-4928-9D48-A73D89D19946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$4D098C1A-9F1E-4921-B82E-F29E7036730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ae2e3c80b35233bea9c20d8e9c69445f93b091","datavalue":{"value":{"entity-type":"item","numeric-id":3761688,"id":"Q3761688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$9DAEC0DF-C78B-42B9-A07D-881F7E747377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f845e87d01fb9e974497b759d6bc381ae5e4471","datavalue":{"value":{"entity-type":"item","numeric-id":5166706,"id":"Q5166706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$AD5F18D8-A610-4141-9407-E3B9F929DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5d90712582d6564f73fbda93ac4bd663de505b","datavalue":{"value":{"entity-type":"item","numeric-id":1036131,"id":"Q1036131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$6DCFBBB9-A724-438B-B606-F5ABB7791393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079769$E74381EA-E730-4459-A549-6E852494707F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b084fb0877c448d13aa1d681b58922ec8fa6ab7","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.TIME.2018.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079769$EF83A781-5697-4C77-B3C4-FCD0A2D37811","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ad015a92faa0a9a2d88aaaf6cc2d74950ad7dfb","datavalue":{"value":"W2898734050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079769$17AA7FD7-49FD-445D-AD5B-7DC4E3134649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5d7793f4dc72d7fece56b89ef774d785ae85e1e","datavalue":{"value":{"text":"Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5079769$918F627A-1B92-4934-A6CA-EE5953958C16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f08f1d1404c3a028eeba88f5b86749feb42c233f","datavalue":{"value":"10.4230/LIPICS.TIME.2018.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079769$7E340C2E-C465-4137-B38B-EE87DC6069B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80b28f5a94028204cf06be169b69315d708319","datavalue":{"value":{"entity-type":"item","numeric-id":1989347,"id":"Q1989347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed8e84ed27c5c8688109c6a783675c42f0f6475","datavalue":{"value":{"amount":"+0.9645400643348694","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":"Q5079769$BEAF7934-B865-44D0-A767-2B0F615919F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f031116377bc4b4fe320784a72230645a6a8d10a","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8e81d0c2bd895608aa20ab69524e7692d02b50","datavalue":{"value":{"amount":"+0.8004671931266785","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":"Q5079769$E3CBB37B-0506-4730-A91A-A713E2376E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbe8f0d4fd63e5633ad6a16667ed8b9308be29","datavalue":{"value":{"entity-type":"item","numeric-id":4632314,"id":"Q4632314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6276d3e7990c366cb97a8af16cfe6f755a8d8fd8","datavalue":{"value":{"amount":"+0.8000137805938721","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":"Q5079769$84B15196-DB03-45FA-B769-D7C27C930551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034fb3511ad172b210e4e9cba1d3a2247cfb13d0","datavalue":{"value":{"entity-type":"item","numeric-id":4992506,"id":"Q4992506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5887c01babdafeac85d75a7d7953e1c444ab11","datavalue":{"value":{"amount":"+0.7870712876319885","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":"Q5079769$5C8E9C00-1FE1-4BBB-8EA8-BCC2A37B1BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ea9aa45486b72268cfa1c99d9e71cf1836aabe","datavalue":{"value":{"entity-type":"item","numeric-id":2495388,"id":"Q2495388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff0c917b1e8db3a815ca682efca4a7e3778736a","datavalue":{"value":{"amount":"+0.7860769033432007","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":"Q5079769$50DCE6B0-5F38-40BA-AAC1-0200473CE9C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079769"}}}}}