{"entities":{"Q2825412":{"pageid":2836150,"ns":120,"title":"Item:Q2825412","lastrevid":52641059,"modified":"2026-01-23T04:21:31Z","type":"item","id":"Q2825412","labels":{"en":{"language":"en","value":"Expressiveness of hybrid temporal logic on data words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635964"}},"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":"Q2825412$9E8E461E-5764-4B0E-A42D-15C75E8C7404","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c3350d65d18d20f29768fd40ec8901d433e06f","datavalue":{"value":"1347.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$B4806D42-8AB4-485B-AB06-2F37EC43BA5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f853f0be6bde7cc7bc4b973ec339e49af0a4d6b5","datavalue":{"value":{"entity-type":"item","numeric-id":871413,"id":"Q871413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$B9A8353A-4431-457E-88F4-72C5A37E0ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$4D987508-0386-4CE8-A5E7-6DCBDAB17CD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$C6E6CD54-8CD3-467F-B094-5B08D528F4A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825412$39A6B6F5-A634-4B00-A3B6-D01FA871224F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$6A86B3C9-3196-40CB-AEF5-82D33038B754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$C58EE2F8-FB59-44AB-B5A0-03DFC136F9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b34751c1d1cd76f13998d634518f4e74c2bc19","datavalue":{"value":"6635964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$3E2F5245-E491-4980-9DFD-A309E756851C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825412$840EE6C6-1C51-4CD4-AE15-5AF3D67528C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825412$039AE547-3B5F-43AE-ABE5-9A32258CD7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825412$6C7F5EE4-3273-4248-9A55-24C0076D7F84","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43fe541c66b637e9cf464efb0e0753a9c0417a57","datavalue":{"value":"Q113318196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$C939BC5A-6342-4046-B387-6039E98FA4AA","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":"Q2825412$3F726E45-D403-4F71-85F6-C3DA44BD1BDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aca67359778440efc1770504ae9984156fc7254b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825412$C407C893-22E4-440F-887A-2F493E3E8972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88f3430907c1b8927b654bee199de91e43093447","datavalue":{"value":"W2059540619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$3D04886D-332A-4E3E-AEB6-3C7B854E3444","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f679be7e862c11d0f8c9c30d7bdfa2a2fb7096c","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$F91BE139-C9A2-41C8-834B-741757990B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$288DDD9A-FB78-46B3-8911-92C94F2EC3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$B970C074-307F-465F-B248-5C8E8DC0267B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f377a748ee0a448bc0e22cb6ba09ac101b59b17","datavalue":{"value":{"entity-type":"item","numeric-id":868025,"id":"Q868025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$060503DF-9A4A-4AB9-AA10-A6F8BB4AC655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$A6FDF6A3-6757-47A4-826D-81CC6DC68BE1","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":"Q2825412$CE308990-BEDF-4B47-B124-013DC557349A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$203667D2-308B-4007-9B1B-BCC6F709AE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ca73d26231a1b566af43f5c10bfdf71dc5b13","datavalue":{"value":{"entity-type":"item","numeric-id":3395959,"id":"Q3395959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$294BD3C6-C91C-4768-9E12-1E27F230E1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$32542179-CE3A-4BDF-80BC-4A4400D15994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$049CFE93-AA3D-4E25-AB3C-92C1A40C2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422191f7fa8b2d64e6ff41dbfa56ea42d38984ad","datavalue":{"value":{"entity-type":"item","numeric-id":5302097,"id":"Q5302097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$29448499-9D33-4056-961B-EB4C2139EBB5","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":"Q2825412$0FD00B15-F23B-4575-89D1-96064BA175CD","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":"Q2825412$E095CA54-C817-4ED6-85B3-CA337FE5D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d74bf9697478d7d13b2930ec27702054ab118c","datavalue":{"value":{"entity-type":"item","numeric-id":1047801,"id":"Q1047801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825412$AE806653-A181-414D-A3CA-3AD3FE9BC71F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee6038f82d8a72c274cf010b44497df429ffdc5c","datavalue":{"value":"10.1016/J.ENTCS.2011.10.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825412$D5F4D226-2B3F-4A17-BB44-2A461808A2AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4d8153c94e344914dfe50142502876b8331fd19","datavalue":{"value":{"text":"Expressiveness of hybrid temporal logic on data words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825412$359CAE33-26E1-490E-BA7A-4E77FFA17BD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c1f71085f32da17514cf85e7001e2b1871a673","datavalue":{"value":{"entity-type":"item","numeric-id":4994943,"id":"Q4994943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6190572f711afd0040f69a64a70a8158862d050","datavalue":{"value":{"amount":"+0.7653130292892456","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":"Q2825412$E3D16C78-A583-4354-B00F-8807D1E8F3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4524a6d99869235f2d3a92e9a944d04a15fd4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2908879,"id":"Q2908879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7637ffe0b617c3f57aca18c9035fce7e9c90586f","datavalue":{"value":{"amount":"+0.7432889938354492","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":"Q2825412$3F442113-7E9F-4EC0-896E-D011B3512C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b7f39777b14bb4b340081697cb5b95a9f241d0","datavalue":{"value":{"entity-type":"item","numeric-id":3182936,"id":"Q3182936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57be59ee5e40b9e42787d55c01184b8bef911929","datavalue":{"value":{"amount":"+0.7214662432670593","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":"Q2825412$411156DD-73EF-4333-BC75-80214C6CE734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac335921b5889e19538bd6eb29d0f3958725be1","datavalue":{"value":{"entity-type":"item","numeric-id":3182944,"id":"Q3182944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10178f6017598e61d7221dda63ff4bfb848194b","datavalue":{"value":{"amount":"+0.7159896492958069","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":"Q2825412$6F523802-43FE-4D3D-9F34-14E3D9A172BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389c0ea34ba4bf23842571849fba71019b311171","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d22656bbfb5a1156ed5fc085d24d76c165a745","datavalue":{"value":{"amount":"+0.7117013335227966","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":"Q2825412$5208D716-084C-4318-99AE-1D676C4FB592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825412"}}}}}