{"entities":{"Q1044839":{"pageid":1046687,"ns":120,"title":"Item:Q1044839","lastrevid":66024918,"modified":"2026-04-12T07:01:49Z","type":"item","id":"Q1044839","labels":{"en":{"language":"en","value":"Complexity and succinctness issues for linear-time hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5647935"}},"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":"Q1044839$47C55999-289D-4222-8F31-3312049B8AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"237a0fbec17b6af8214d81953d5a6c540dcef61f","datavalue":{"value":{"text":"Complexity and succinctness issues for linear-time hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044839$C48862B5-8DF8-4622-9BDA-974A97139E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fccb4fc8a907a46c3f2d554eea07ffea28cd54b2","datavalue":{"value":"1187.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$DEB93830-7019-4735-B17D-13A9456FA898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$D21245FA-D751-411B-9DC1-F79B56E5071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$4AF030A2-521C-464A-9F94-C31AF9A1612B","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":"Q1044839$195677A4-8AA5-42C2-8828-B49ECF466BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d265d400060d2e7fb9c5c45adc5a5c7f5f7bbd7","datavalue":{"value":{"time":"+2009-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044839$76FB48EA-F22B-454E-A70D-855A5AE1BC04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$ED9F5DBA-3AED-42C6-A9EC-CD4074C34DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$1AA6F59A-C997-4F0A-9777-64A12E122F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$87A0423D-42A3-463B-B403-DB991F0F29DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0e25fcc9d08d332e3393d8b4d1b11895e103ae6","datavalue":{"value":"5647935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$72531615-F2CF-4C33-AA96-D67DA5B8351C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a7b72582e16457684e1a5a69cc9ecb3eca5c78","datavalue":{"value":"linear temporal logics \\(+\\) past","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044839$454A2C22-9556-4BB1-A430-5233D47069CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044839$FADBD7F4-1864-47B5-B7DC-C557416F5261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dc0dde2e9f4655a71bd518730232c0c60dfa66","datavalue":{"value":"complexity and succinctness issues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044839$84DC755A-39F8-40A5-B909-20EBEDAC9386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044839$656D87D4-F273-4A63-9763-5C96CBF5EA59","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":"Q1044839$8E9B8A90-210A-4DBF-9C70-EE82AD09E7D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d8826dc4c9c52df4a1675f9b1fac70ee2b5ace","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044839$7DD2FD88-63E4-457A-AEDD-5492FD788313","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d8160d4d345b427e273a0d50534dddcaa19d38c","datavalue":{"value":"W2055646400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$053305EC-578B-47FE-A1D6-EC371738B5B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$2B328B51-0498-4201-BECE-E2C7BE74A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372a95fa85b54853eb1f9c694aaffe0cdae4c732","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$D3ECC178-66D8-4F27-9026-B8C9D2D87691","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":"Q1044839$A6DD64CA-38A9-422F-95EF-A204205B73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0406600f6effcdb4c13b35f1faeb033950873","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$6F86999B-6E04-4235-8A78-6D07100DCF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$35F7F183-5EB5-480B-AAD4-4E64D8378C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4278516060e697fdc8e4d4af48d22b76c754d","datavalue":{"value":{"entity-type":"item","numeric-id":2506828,"id":"Q2506828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$5052BC0B-A408-4030-8642-AC9C0482899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$5AB8D805-C137-4BF1-B93E-CA57555A0714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6550549f6a6ae41859a83760194e81ec3591e36","datavalue":{"value":{"entity-type":"item","numeric-id":1151754,"id":"Q1151754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$E6EE3C98-B85F-49E2-96E7-160CB69455E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$FFCD56B9-F274-4361-89C9-C1505CFE71C3","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":"Q1044839$A8C6948D-920D-4903-B061-D1583A718B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075c2cf58166175d5291a0e6c66d7d0ecc5afe2e","datavalue":{"value":{"entity-type":"item","numeric-id":3590965,"id":"Q3590965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$064BA64F-5D03-453A-9C8B-6F2E23692420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$1DB74C7A-D917-496E-9AF2-FA8AF97222DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044839$3CAA4929-4CCC-4322-BF45-27EED7D8BC92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61cb36ca278cee6bc6bf08f2242627c0fffcf371","datavalue":{"value":"10.1016/J.TCS.2009.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044839$73F36BBD-ACED-46BB-96A6-B213B7D5F38D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f450e76884c3635f99996b05b7f0fa353898431c","datavalue":{"value":{"entity-type":"item","numeric-id":3532457,"id":"Q3532457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f34bf78e3b42e796511cde3a5aafb6ed1f7de0d","datavalue":{"value":{"amount":"+0.9993674159049988","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":"Q1044839$1D1C0703-D46F-4AEB-ADD5-EC30F341CEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e666c699d6edee48e57bafe1440684ed632d35df","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8352f75df4c7a681f414db3a69fef190dba4f3c","datavalue":{"value":{"amount":"+0.8321400880813599","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":"Q1044839$0E243A14-F01C-4140-A1CB-B716357080B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879baf54907bb1097df87f9ca598554f4e06e691","datavalue":{"value":{"entity-type":"item","numeric-id":5419883,"id":"Q5419883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c971a66ce46e0523101c0e8570a2a85bc8bc20","datavalue":{"value":{"amount":"+0.8233925104141235","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":"Q1044839$78089AB3-8BC4-42B0-8A2D-895AAF9CCF21","rank":"normal"},{"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":"98d7b002074dd8f28baa936a9b81f7b68835c3f9","datavalue":{"value":{"amount":"+0.8206709027290344","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":"Q1044839$BF8D6ACD-FB40-4A38-BB34-A06B79E48633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989ee0fb643679764fd5900ef03d6e53ef1e827e","datavalue":{"value":{"entity-type":"item","numeric-id":3590965,"id":"Q3590965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c7cb8fc90e484fcc79268513f5bb8d4fbff8de","datavalue":{"value":{"amount":"+0.8180903792381287","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":"Q1044839$B2E31795-D7E4-42CA-AD05-560DD3D32B15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity and succinctness issues for linear-time hybrid logics","badges":[]}}}}}