{"entities":{"Q5224503":{"pageid":7254072,"ns":120,"title":"Item:Q5224503","lastrevid":40730222,"modified":"2025-04-04T12:20:13Z","type":"item","id":"Q5224503","labels":{"en":{"language":"en","value":"Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084741"}},"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":"Q5224503$D54A5769-73E3-45BB-9F5B-1E92FF01F7D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9294e4216d566c5b744742dfcd7f9018204e3f91","datavalue":{"value":{"text":"Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224503$67903559-3F9B-49EC-8006-13C603521838","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c190a9151b06ebc6d7cb78d54522483eaca69a7e","datavalue":{"value":"1485.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224503$F421A830-0AC6-450A-885A-8AFB4EE5A376","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7f687d0d72fe71ef0fafd06bf3fded5fa997c79","datavalue":{"value":"10.1007/978-3-662-54069-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224503$380D0312-153F-4014-81B3-9D755173B58F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62be5a32c0c8abc650c470c31ddeb43937fe8106","datavalue":{"value":{"entity-type":"item","numeric-id":821567,"id":"Q821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$7077D837-8C82-4224-9D84-8E4BF4849791","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$BD5247CE-2074-4E41-86B0-5A87F9D9B166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224503$E50B59D4-AB22-4714-BD0F-A5FD811242EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224503$EC3657E3-1A0D-4D0F-B257-6FEFFD33F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224503$6CEB7AE1-91E2-4C23-9207-BAF7DE839988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06074f710762a56193cd9f0f5761cbc86b79ec5f","datavalue":{"value":"7084741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224503$88C79F60-0694-40EF-A117-67260079E28F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224503$40E93182-6C89-42B2-8F50-715A28C4515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224503$301F592D-7ABB-493C-B035-DEE7CE5AA1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224503$BA83D213-FF2E-40D5-993C-39BEF0DF0D3A","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":"Q5224503$2A917AC0-E1C0-43A1-AE9C-0374FC950EC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4893d0198a1957e759ad5041695bf96cd0ad1fcf","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54069-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224503$FA50F465-0179-4095-9182-EAC60F60AB56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ffcb120af9482c1eb4c6a4e2800e4a31f4056c1","datavalue":{"value":"W2558767970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224503$019C5D38-9C64-4BA6-AF6E-AEED5C19A856","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$E2555D53-2763-463A-A5EE-B4672406277E","rank":"normal"},{"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":"Q5224503$A7956EA8-2C06-4319-AFBE-93F77FEACF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$1D339B26-15EE-41B9-A859-D3834A764CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1ceb343754479d59cb8a90dbd4054186e16dc0","datavalue":{"value":{"entity-type":"item","numeric-id":5369240,"id":"Q5369240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$852AB3CE-80E5-4CF3-AFBF-B707234CCFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7910b7baba0a6198a7f5aee8a13fb4374be29bd3","datavalue":{"value":{"entity-type":"item","numeric-id":2938489,"id":"Q2938489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$81480983-89E1-4C6B-B095-CF9A253458A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917e7018ecb261a410a80f2084120881ca26ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$E3408CD6-F6CE-4F6C-9828-B09A379FE20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$54424486-3D66-4F66-83EA-7EBBDBE312CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$34A2F926-58B4-488D-90E1-56144E10FF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224503$95A81DE7-960E-4EEA-92D3-738B480ED6A6","rank":"normal"}],"P1643":[{"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":"585a017ad46e8fd0a496aee47add2c4f97147f3d","datavalue":{"value":{"amount":"+0.9593628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$EDB6DFD3-89B8-4CE8-9EC2-12E1FC49492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d96604730de5cece1c4fb1df83b2af00472c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fac548ca3dadea8ab0e867c785a793ab164a72","datavalue":{"value":{"amount":"+0.9238696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$7AA525A7-3435-4C2B-A53C-5437CF4A1C40","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":"51778e5930cd44b5e8d574c9660ba82d4a0dcfb0","datavalue":{"value":{"amount":"+0.9227176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$406EFC80-5A1D-41AB-9574-470AEF6C9F19","rank":"normal"},{"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":"3d8bb4be4e201375aacd81f19e38a64a9f650b76","datavalue":{"value":{"amount":"+0.9200366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$61D99E4C-0A19-45CE-9EEB-1047DF14DF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61148d9f376aa526e0457cef2df495cbe0b06284","datavalue":{"value":{"entity-type":"item","numeric-id":631087,"id":"Q631087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa768cce516bd7d0a2250f24733f5e9b1005929f","datavalue":{"value":{"amount":"+0.9160124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$AED1B1A8-F140-4C2B-8650-CF14C32C480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4a396862e1b8e47fed00477b3685db645c8d67","datavalue":{"value":{"amount":"+0.90372866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$DC7DB2D0-3D0C-4CC1-91CB-68F72016804E","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":"a7d3e239963c090fbf0e3e43859529dffeb41fba","datavalue":{"value":{"amount":"+0.90297496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$E2E6B339-5A95-496F-8592-ED194446E553","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":"adb476912ee0cd8cf8b231e968db200a73a0d49b","datavalue":{"value":{"amount":"+0.9018851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$343C077D-7D27-446C-8C6B-3798999BF47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417bed6147d49f9d2af38be109b51ac4b393ec02","datavalue":{"value":{"entity-type":"item","numeric-id":1047797,"id":"Q1047797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d03e8c5f53688576b3c27c5abe10861241aae8","datavalue":{"value":{"amount":"+0.90160906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$BA720D5C-93A5-4487-A0A8-1F0C7E345747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10e22c4454567ad940cbb1d9cbb456428dfe0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4376047,"id":"Q4376047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf751ddc1c5b489972cb3ba7cdc68ae21b1a9ed8","datavalue":{"value":{"amount":"+0.8977317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224503$8440EADC-2ECD-4A19-96FB-8111E73C68F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224503"}}}}}