{"entities":{"Q5079792":{"pageid":7109368,"ns":120,"title":"Item:Q5079792","lastrevid":54327371,"modified":"2026-01-26T15:44:19Z","type":"item","id":"Q5079792","labels":{"en":{"language":"en","value":"Computational complexity of a core fragment of Halpern-Shoham logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533386"}},"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":"Q5079792$42F7877E-E690-4010-87CF-6F8B704E345A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1678604e9dc35a333f3673ed6f557d1c8f62de55","datavalue":{"value":"1487.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$09F40E59-D3D7-4BD4-9CF3-35202C3BC7B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62be5a32c0c8abc650c470c31ddeb43937fe8106","datavalue":{"value":{"entity-type":"item","numeric-id":821567,"id":"Q821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$65A52E2F-C391-4D1D-AC66-C76D49CD0211","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":"Q5079792$08E17707-C6D7-4324-9356-2F6379617D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$C7E43F36-2441-4380-93AC-8DDD8F1F85AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$CD588F09-559E-4367-A88A-D3C209AE9AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$7820A7A5-5F77-4002-AB33-8D51EE6002C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$3F0F838F-6A7C-4B9E-9F45-3F103BF60BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$CA4310B6-5214-412E-B887-D8D3CDFA04F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d264f7cf93b4d3b0cd31590903306ad1bec3c42","datavalue":{"value":"7533386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$2D4AAE6E-5998-47B7-82E1-C2756D170C6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079792$F37789F8-EE79-42E5-A1B4-29FEE6A42334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079792$376D1B8C-61C2-4B8A-9658-CFCE79DAD4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079792$8B7BC30C-88BD-4FD2-B776-10FC8C1D8DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079792$51D885D3-CDB6-447F-8E58-6736D4A80AAB","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":"Q5079792$EC2203FF-27C8-4091-8C0A-A48DB5A3507C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"917e7018ecb261a410a80f2084120881ca26ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$EA08DF6E-5828-45E0-9A13-69A005E648AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$6745C592-9DE9-4E6F-8529-9D050053F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$D5647192-DDD6-402E-A5B5-96E30F2E7706","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":"Q5079792$F5A895BD-3BE4-4997-9615-51E5173CF57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$23311CA7-17A7-4BD7-AF70-EC7FA76167E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$F931B6D5-D2BD-4172-ABFB-33AB8A66C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdabd61cb129ddb609d3fe2c5ee1d53006d0da77","datavalue":{"value":{"entity-type":"item","numeric-id":5224503,"id":"Q5224503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$4C3CBEDA-3B6C-4D54-A4E7-EA75BEA875AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2666975da7923d54eca5e5518e4100a6b1f2ed4b","datavalue":{"value":{"entity-type":"item","numeric-id":6487472,"id":"Q6487472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079792$38236402-4D47-40C7-825B-5B3CC65E8A6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc8ca360bc562a219da13218b10b0d701b57903c","datavalue":{"value":"10.4230/LIPICS.TIME.2018.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079792$8BA0C9AA-B8E1-4B8F-BB64-A83A80A9371C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56245176be34cc65e3a6707e4c24953aeb5550ed","datavalue":{"value":{"entity-type":"item","numeric-id":5224503,"id":"Q5224503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c04357654a8bd85a7c7a665a6b98817449f9605","datavalue":{"value":{"amount":"+0.8726155161857605","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":"Q5079792$A8162128-DB15-464A-972F-997BE316CE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe2baa012abfc02abb8cd27e7a9cbd22a7c7ee5","datavalue":{"value":{"entity-type":"item","numeric-id":6487472,"id":"Q6487472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4b25fcfbd0235035c2d3b79146c4b9e023d99b","datavalue":{"value":{"amount":"+0.8536749482154846","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":"Q5079792$6A646445-9246-41FD-BFF6-BDD8D38B27E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6c8a2302d5ac75ea95a38c82d33a6bdc4d770f","datavalue":{"value":{"entity-type":"item","numeric-id":5369240,"id":"Q5369240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad982661121bf88dfd3425abcd2883e7fbe669f4","datavalue":{"value":{"amount":"+0.8351395726203918","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":"Q5079792$2A1E86F2-0669-413B-8899-58CADE38A9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72dc9bdc831e76ca9b042121a71d8d89652bae2","datavalue":{"value":{"entity-type":"item","numeric-id":2334600,"id":"Q2334600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26809dfb839d9206175acbac23b30794831da39c","datavalue":{"value":{"amount":"+0.8186009526252747","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":"Q5079792$DEB66B78-9C16-41D0-AD3C-DE81C8ADAC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe797bc3b1170e13443a180fd65e83f986364f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2799202,"id":"Q2799202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89bc8b26b8fd5023dffd22407cebe20ebf3cef41","datavalue":{"value":{"amount":"+0.8090358972549438","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":"Q5079792$A074C1DF-6E17-45A9-8153-BDFEC39D0D28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079792"}}}}}