{"entities":{"Q4511543":{"pageid":6541136,"ns":120,"title":"Item:Q4511543","lastrevid":47522644,"modified":"2026-01-01T23:35:27Z","type":"item","id":"Q4511543","labels":{"en":{"language":"en","value":"The computational complexity of hybrid temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523408"}},"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":"Q4511543$F1871408-5C50-4CBB-811E-854711B63D4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1fbe6c86b4459af7dff7ebc10f0e2f88fc417df","datavalue":{"value":{"text":"The computational complexity of hybrid temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511543$15C10A7D-F8DF-4DBE-B9E6-7C54D80191D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54ec08157a650183d8c716c166c26c0b113cb1fc","datavalue":{"value":"0959.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511543$8F7E7877-7258-4887-A4A1-AA2413854244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511543$3F776CE0-4AC7-4ECA-B5B8-2F5A23E36B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511543$F2D17BC9-DF5E-4658-9DFC-40864BA9B28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511543$9217C556-6D6F-4AC8-B9BB-E2050124A45B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965510c2bc86d2c445b669bbe56a3047f175e67d","datavalue":{"value":{"time":"+2001-05-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":"Q4511543$DAA6C2F1-7A94-46CA-9B47-79AB1F1D680F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511543$48ED9713-D512-4F50-A657-3CF8B5F4C4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511543$831DBF64-6556-418D-90D1-920DE21600A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"303b2c84eec3694a29a8c497de1766fe8d688864","datavalue":{"value":"1523408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511543$8850E44D-25D7-4CF2-A431-B92F217FFA32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511543$8B61CC23-00D4-46BE-8E38-6B0955E476B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511543$75A3E09C-196F-4494-9FA9-D8F1F0877FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511543$592A2960-EED8-498D-B57C-BE831D3D3ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511543$5985A2CF-7B33-4AF7-AA7D-13417EFD0A5B","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":"Q4511543$768E0646-9951-4676-A55B-595156D40D78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4627666b8688170853428ad3ef3627f53c27136e","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.5.653","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511543$69DF8774-C36A-4468-8F98-AE8A1EF9090E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90c63db3136390e57384b65c3a874088a48459b","datavalue":{"value":"W1969184283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511543$0EA85B1F-AF04-46CD-8B49-75EB9A15AAFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3528a7522a00862dd6b3dd909b9e40a44296e685","datavalue":{"value":"10.1093/JIGPAL/8.5.653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511543$2E3AB7DF-64B3-43C0-9C28-5664C1F8BB14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511543$F249FE1F-71FA-475A-948D-013028EC863A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c083279b4fd49c1b0797eb61b9d0b7bdce2cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b84bf34c6b4f40f9abca74950b82e92177557e","datavalue":{"value":{"amount":"+0.86714768409729","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":"Q4511543$5956BEA4-3DD5-4296-B65D-81C2FE3D6065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a23dfb12d48dc88cde38e7970ddea0c6b4bf318","datavalue":{"value":{"entity-type":"item","numeric-id":3182957,"id":"Q3182957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b84bf34c6b4f40f9abca74950b82e92177557e","datavalue":{"value":{"amount":"+0.86714768409729","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":"Q4511543$A5D87600-F6A7-44B2-B420-3AD4A4C66477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad7aabfc1eb19df43ba42eaf0d5595f436f724f","datavalue":{"value":{"entity-type":"item","numeric-id":2084954,"id":"Q2084954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb2ac7d0a97f3a76085f52a8a5940f4ceb9c2a7","datavalue":{"value":{"amount":"+0.8427750468254089","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":"Q4511543$8CC59D11-9D6F-4D33-841F-5259F4A3E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489f8dcd5e821ee534349d8578ce55e7c3491fce","datavalue":{"value":{"entity-type":"item","numeric-id":631089,"id":"Q631089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676867484c60daa29a68cf987d17862966327378","datavalue":{"value":{"amount":"+0.8385798335075378","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":"Q4511543$25305B5C-A16E-46B4-8FF8-24DF576AE4BE","rank":"normal"},{"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":"3ff5658c6a2d285f29559395257f9af3e0c4e4bd","datavalue":{"value":{"amount":"+0.8263699412345886","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":"Q4511543$DFD2B093-DCCD-498B-828A-517BF0FBEB79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511543"}}}}}