{"entities":{"Q5369240":{"pageid":7398814,"ns":120,"title":"Item:Q5369240","lastrevid":58543635,"modified":"2026-04-05T16:35:21Z","type":"item","id":"Q5369240","labels":{"en":{"language":"en","value":"Horn fragments of the Halpern-Shoham interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791398"}},"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":"Q5369240$EAB41C4C-2365-4C4D-B2B2-BD46EE35CD5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bb23ada25dd0bf7d50c5a6b70ee873164b7dbe0","datavalue":{"value":{"text":"Horn Fragments of the Halpern-Shoham Interval Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369240$BDFF3837-F3CB-4D9B-8D93-E00B57EF31FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6da57f65100219de8af8ae4ea270d1597a5fd3","datavalue":{"value":"1407.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$B5692BEA-FF56-4C42-968F-DF2DBA454F60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae56008d0cb3e5229402c484bf353f28d579b2d5","datavalue":{"value":"10.1145/3105909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$888E7862-8A07-4195-A550-BA930AE1B7B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$BB510D00-56C4-4FF8-8EB7-3300FFDFE7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$191664B6-25D3-4C9F-9913-7506A8E6AA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6eede42efecd9bd8e526aea5df85f2b95f1c9d","datavalue":{"value":{"entity-type":"item","numeric-id":253975,"id":"Q253975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$3D2C3116-3BFA-4E91-8705-817B585910BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$137FBC33-16AB-4A90-B6C1-7FFD20FFC62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5649821b73b09feb4e8f8dde28ee137e2a55549","datavalue":{"value":{"entity-type":"item","numeric-id":1006484,"id":"Q1006484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$6568B3C3-6858-4F24-A231-F52CE91EF578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$815F1DD3-1395-425C-8B60-77FA59F69896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369240$976C4D23-2C60-4937-936A-5E701FECB56E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c5297401e02788bd3f4d1f30d634c2fb25880e4","datavalue":{"value":{"time":"+2017-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369240$ACE5814C-7D45-4A11-AFF0-3F230828E904","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05448ecd1f1b73de33314ee1776d27e9fb3a1b98","datavalue":{"value":"https://arxiv.org/abs/1604.03515","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369240$677EADD6-6299-4FA2-9AB2-F575020CEE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ccb7d50022ce503a41a41dec2551df9d85b5ef2","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/20550/6/20550A.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369240$70053A21-2F18-49C5-9F38-16A975643520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$969807FC-A91B-4C73-A49F-BF14A0E195F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$10C6B0C6-9362-4CB4-9875-871B93A1F964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$79C0C1D5-75ED-4EAF-809E-586CF821E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$9AAD34B6-1598-4657-A92B-8BE5EED60561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46ff63e62cd6e19d62c54697482c8a7c0084807d","datavalue":{"value":"6791398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$805C3BAA-E80C-437D-9935-1BF2CD0DFE42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369240$4A4ACFC2-AB53-44FE-86A0-ED1C71C96F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369240$A9550211-4F54-4CF2-8121-2764861CF760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369240$D4641F73-63FC-4D2A-A2D4-58F2AC511115","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":"Q5369240$3F2FD15F-4241-4C1A-8ADE-98521719311D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27792532598f8c1c3a73872c0e7accff11790803","datavalue":{"value":"W3124696891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$DF4FE619-DA4C-4282-B74C-AC05521FF84D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"98174090345039ee9710bd90f602bed657cf7222","datavalue":{"value":"Q130844076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369240$617CE085-D328-4F84-BA21-881B1A4C9BE7","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":"133a082be902d8cf023140bef370ddf684b67ee8","datavalue":{"value":{"amount":"+0.8492639064788818","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":"Q5369240$9DBFA4E8-4788-414B-8E8C-3B52B46291B0","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":"5198f7e4d9ee662297cd43411887112eb4f12cc9","datavalue":{"value":{"amount":"+0.8454760909080505","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":"Q5369240$AF9B3820-921F-42DE-84CD-B42E4A6EFCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde4f01223aa4a2f314b8ff49ce60160d550ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2938489,"id":"Q2938489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f6ccfe5fdea1f527f0dbd277e89b68507d50b3","datavalue":{"value":{"amount":"+0.8446205258369446","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":"Q5369240$53795015-AAAE-4F43-8407-9F301BDAD7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b06045afed24f1ddfe21031c3513410c81feb31","datavalue":{"value":{"entity-type":"item","numeric-id":5079792,"id":"Q5079792"},"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":"Q5369240$F07BE855-4A32-4706-85A0-742AE995D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"160fab820e4abf8827a08fd17b373c0f00e76b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e27c0a1850b2de87a110d2cdfcad2ed563cc8d","datavalue":{"value":{"amount":"+0.8330787420272827","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":"Q5369240$B5C87F0F-0B03-4D2B-B05A-76FC39E71164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369240"}}}}}