{"entities":{"Q6060101":{"pageid":13194256,"ns":120,"title":"Item:Q6060101","lastrevid":55507180,"modified":"2026-02-17T17:53:55Z","type":"item","id":"Q6060101","labels":{"en":{"language":"en","value":"One-pass Context-based Tableaux Systems for CTL and ECTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7760484"}},"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":"Q6060101$95E8CD44-E089-42EE-B5D2-ED1DFA5F9142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1899917e7f72ccb0b3275efc253740403597a7","datavalue":{"value":"1530.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060101$9398EFB0-E464-4623-A2F3-854DDBDEC0AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a39ebe4a660693c7170c35b8773635812d42dc","datavalue":{"value":{"entity-type":"item","numeric-id":2095425,"id":"Q2095425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$921761A5-4997-402A-A4E2-0FF419D8C851","rank":"normal"},{"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":"Q6060101$0096B288-14B0-4C3F-BED2-385B2D6BC382","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":"Q6060101$0450D1D2-28D1-44EE-85A9-BF96BBE904D4","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":"Q6060101$B6BDBC65-A7AB-4A4C-8C10-8D0074EB1532","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7998a4700485ee1c911c6376847a8ba8998b55e1","datavalue":{"value":{"time":"+2023-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6060101$0EE58248-8050-418A-B25E-3F2C929104DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060101$9949C05D-8D00-4648-9079-6C912D8C9A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060101$192EFD80-0F5E-499B-8B9D-1F907F382AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de8dc60e92bbcba0e44939ffdcac87b586b32da3","datavalue":{"value":"7760484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060101$718F25E7-6070-48E6-BD7A-AEE109871932","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060101$C7698E75-C4AC-4DA4-89DC-9DA912FE2A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060101$B41D4E02-5D24-4D7D-95B3-73341151774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060101$E1949309-8702-4861-A084-7FE793EBD36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b233c887dd94ecd19186a7517f258ccb36e4432","datavalue":{"value":"branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060101$061878FC-E449-4238-8A88-186981CADFF7","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":"Q6060101$663917C9-6255-46C9-ABC4-03358FF1D6F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcfdb8e3d2670e59f89eaa974bd4546385269c1f","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/time/time2020.html#AbuinBHL20","type":"string"},"datatype":"url"},"type":"statement","id":"Q6060101$C93FB9EF-D828-4A80-8036-F35C7646AF91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adc02ff2d357239ad791462cd4469217b1296774","datavalue":{"value":"W3089732952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060101$3F59A364-F733-4269-BE16-F35EDDAC299C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"821cbf0b6ffddf3e2650e7d54bf9a78ad684837e","datavalue":{"value":{"text":"One-pass Context-based Tableaux Systems for CTL and ECTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6060101$F9299D3D-1D15-436B-873F-A569E2FC9869","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$1A18760A-3916-4C6E-AAD5-5A9402C4C0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$5D57E482-8D4C-4252-975F-61B4D3615386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da7f9a73f19e06bdecfe1444b7519a68ab28260","datavalue":{"value":{"entity-type":"item","numeric-id":1989347,"id":"Q1989347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$8100EAAD-4AB7-469E-B402-BFF5F975890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$7BC8E301-26F9-459A-91D2-960EAA04A32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$D60EDE0B-3740-4993-81A2-A38D52247C8B","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":"Q6060101$998C18AF-EDF7-4E72-8B31-52A4753744FF","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":"Q6060101$ABFB5B83-E8E5-4C5F-8CDD-A3F31A13F6E7","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":"Q6060101$362A6702-14D9-42B5-A49F-33367A717D9B","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":"Q6060101$DDFC66F4-51F3-4A49-B6E7-4D57B93E265C","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":"Q6060101$7FA2A71D-CC7E-4474-A8BE-F3A745365E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a848ab10b49b8034fa7a7c3ea1c75dd27f93d21","datavalue":{"value":{"entity-type":"item","numeric-id":3192179,"id":"Q3192179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$6552D143-5477-4B7B-8111-39E06975F222","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":"Q6060101$B48DE3FD-3EE5-4D30-A5D6-DC77F13C46C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2269bb2b0b1d7157e8442a2be320a392f23e8d","datavalue":{"value":{"entity-type":"item","numeric-id":5406125,"id":"Q5406125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$BAC4AAA2-FFE7-4214-AD84-1D12D48DD090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$60B9D7C9-B961-45A7-B0B5-E64FA6696513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$F31ABD87-4222-4A79-B41C-EA4C6635E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$B7DB32B7-44F0-4999-9E9C-E7C0F51A1000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99e9ee3d638eded7d533db963253f931dd83d3f","datavalue":{"value":{"entity-type":"item","numeric-id":6487556,"id":"Q6487556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060101$FF11159D-D535-4147-8F98-EEF1D4FDBBB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"723fde311d30e89bf4245afca3703a9366704fc0","datavalue":{"value":"10.4230/LIPICS.TIME.2020.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060101$D29133E0-742A-4F26-A216-95E763AA5536","rank":"normal"}],"P1643":[{"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":"85e0a5d63db28290ff9604ee9435479fffa512ec","datavalue":{"value":{"amount":"+0.8814612030982971","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":"Q6060101$CE9569F0-6F53-49AD-914F-799146497A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1db08350ab40ecb5fe8b460191474c3401dd58","datavalue":{"value":{"entity-type":"item","numeric-id":5079769,"id":"Q5079769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabac0fe12c3f215696a831f249f9d23a22a0a5c","datavalue":{"value":{"amount":"+0.8598112463951111","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":"Q6060101$36E45848-2336-49FA-B64D-B3BFEA774557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a0283679108078e0488d528f0a30af287bbb72","datavalue":{"value":{"entity-type":"item","numeric-id":2095426,"id":"Q2095426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d54e263df6c5d1d8a30928c944a92edbcd7bce4","datavalue":{"value":{"amount":"+0.8283888101577759","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":"Q6060101$A75D6C9F-C84C-4AD1-9289-D8C9E6037831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c798b8b6246e7fb1eb6bda1be03c1ad905c7aae1","datavalue":{"value":{"amount":"+0.8170495629310608","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":"Q6060101$E18EB661-79FB-45EC-97A3-9B093C6C4ED9","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":"f4a982ab7d56241dca0477d3063a69d1e2ac4e19","datavalue":{"value":{"amount":"+0.8089827299118042","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":"Q6060101$37ED6EB8-977A-4C91-B750-72FDDB23A4CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6060101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6060101"}}}}}