{"entities":{"Q6487472":{"pageid":14066241,"ns":120,"title":"Item:Q6487472","lastrevid":47810344,"modified":"2026-01-02T18:22:59Z","type":"item","id":"Q6487472","labels":{"en":{"language":"en","value":"On expressiveness of Halpern-Shoham logic and its Horn fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650007"}},"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":"Q6487472$849E4122-953A-4849-81F5-05E49FFE08A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac16f5b6a2d07768a8461163f2f73e08732533e","datavalue":{"value":{"text":"On expressiveness of Halpern-Shoham logic and its Horn fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487472$2C0FB626-E5DB-495F-9D46-5C59D59EDD02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5940ac0f5883bfba77637912af5b797febc44ad8","datavalue":{"value":"1515.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487472$4F1A363B-9500-4783-A6C3-311F7A462D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2afbfa3f5b4462e7d17d630bbfeef31746dad03","datavalue":{"value":{"entity-type":"item","numeric-id":6487471,"id":"Q6487471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487472$945308F6-3F96-4A32-A20B-0A3C1F67A8DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487472$48831648-D0C2-4BC6-B334-7DB87C45AD40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487472$A8297675-568E-498A-9963-44C7D542D97A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3507b53f3896f510bd019c03a4db30eab71951d","datavalue":{"value":"7650007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487472$3CD6884A-48FB-42D5-8586-658A14AE1718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487472$B16364D4-4F77-421D-A4EA-32ABCD61165F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487472$D69DF4EF-3E65-467A-8A51-57B68AFBFFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487472$C5CD868C-06A3-422D-8FF7-3C59DA3A300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487472$152F5F6C-B727-43AF-B04B-5B05BC86BCEF","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":"Q6487472$2EB42221-5DDE-47F9-BAEF-3F4125227986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04d151918dc8383524dfe17684ed54af7b2ec5a9","datavalue":{"value":"10.4230/LIPICS.TIME.2017.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487472$7FCDFCE0-6EEC-4A23-BEC7-C68E653CA763","rank":"normal"}],"P1643":[{"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":"31efcb004bb60d8a323205d6818a99173c44776a","datavalue":{"value":{"amount":"+0.9304535388946532","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":"Q6487472$CA7C6772-13FB-440F-A9EE-4DBE73879EC9","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":"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":"Q6487472$32ADE1A9-FCC0-4E0B-9D7F-591D767D5A5A","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":"6252c808737e65309723c9ea68d9bc9a2ed214e3","datavalue":{"value":{"amount":"+0.8471685647964478","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":"Q6487472$D5873EA2-5642-46F2-9EC9-E411C1C377DF","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":"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":"Q6487472$34D2513F-9D83-4F98-87FA-F0539B5E000C","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":"98bd9621af0a342bb31a1651214cedbf84881048","datavalue":{"value":{"amount":"+0.8430768847465515","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":"Q6487472$3C0C284E-AE60-4E11-9FA4-B9563D416F40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487472"}}}}}