{"entities":{"Q2867946":{"pageid":2878666,"ns":120,"title":"Item:Q2867946","lastrevid":57476334,"modified":"2026-03-31T02:13:51Z","type":"item","id":"Q2867946","labels":{"en":{"language":"en","value":"Undecidability of multi-modal hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241767"}},"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":"Q2867946$8143EDA4-B901-47E1-9743-55366BC36E29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8634a5638e14f9bb1195a2f589dcf1f2fb617ede","datavalue":{"value":"1278.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$D180DFB0-8FEE-4A7A-8794-65296A980B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$16DB0E78-A563-4ED7-A90F-DB7E852DEFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d20f48cb9540482c9af2a4f4b1e9f17e57749ba","datavalue":{"value":{"entity-type":"item","numeric-id":393136,"id":"Q393136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$B9B6FDB0-A48F-4C32-8C64-533539037DE1","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":"Q2867946$DA740A12-4D96-436E-87ED-9C8FB4B03F85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867946$29719099-1C0B-476D-B00E-FFF41786E760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$8DB1DB64-DAB3-4B54-A3D3-C26B7BDFEC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$5BB3712C-138F-425C-9513-E22EE880BD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$079B9804-AFDB-4F1C-B692-30C56E36766D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62703c935d0941c950803cc22fd3b7f23a79186f","datavalue":{"value":"6241767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$0B466DF1-78DC-4EA5-93D1-BD6B3E7AA526","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867946$898A6622-B814-493A-8E3A-EDFE514D4FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9547be7257179656bcd6081413ab22b7f2842504","datavalue":{"value":"downarrow operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867946$CAF7BB23-0826-4131-AAB7-F81C8B0C5AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867946$8FB50206-306F-47E8-92D7-DCA0ACF4BF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867946$3005B1D8-D1CD-42AF-9F4B-65C2D6695E19","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":"Q2867946$5B8AB922-ABBC-4043-981D-35BBC711DB88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9ea8fb0bc91431e6246f40fff2395c8f4d662cf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867946$A2CAE8A6-3C94-4F06-A41B-C0857CB6B879","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"210add9a21497cd0b0f64b35e24308365ee789e4","datavalue":{"value":"W1999165408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$F09BA70D-88DC-485A-9A9C-6C8F1AB5ED22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$A2C0C4D6-29B5-4BDB-8565-7630CBBD9030","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":"Q2867946$36ED9055-2CB2-492F-9446-3EA9FF62280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$A6BE9BA6-FE62-491D-9CA7-6906D0FFFA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fb88ea2fc232c88809480632f1bee57b745697","datavalue":{"value":{"entity-type":"item","numeric-id":5477453,"id":"Q5477453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$8A5F2D58-03DC-42C3-850E-A2F5C12F9F91","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":"Q2867946$FB502D95-6705-4359-8A25-882AA7B39FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$EAA268BE-F825-458A-92D7-F848C0EDF80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b313d2b1b63a2592d25a191f7ee9acd6720ae44e","datavalue":{"value":{"entity-type":"item","numeric-id":3408136,"id":"Q3408136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$4829C0EB-BF07-4E10-8FEF-12C6E395ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706ea3dccba515a44c5b040176691d86b72d5b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4266483,"id":"Q4266483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$B0B06CC1-EE6E-435B-9BEA-91A27B27C644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$79AFEB4C-7621-46A3-B666-90946CAEB376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$FE325E33-1A9F-4EE4-BFFB-E07C8361BF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ce493e5819c935f84d7b4156221ac3ceb8618e","datavalue":{"value":{"entity-type":"item","numeric-id":2867946,"id":"Q2867946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$EB116190-D8F0-4747-81C2-1BF5C3B0F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df85c1f399cda10b8cef850e5a122ed52667605c","datavalue":{"value":{"entity-type":"item","numeric-id":631089,"id":"Q631089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$46D1FBAD-742A-4210-9B23-683787496812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ce02106336a8e9ace278c5d22fa3a259641d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1155046,"id":"Q1155046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$18582C97-B704-416A-8C11-D22293879E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$2D2F5474-AC1F-4952-AA57-0A56B87EA8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$C4DA3D20-C996-41AD-A292-2170A08C0D1D","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":"Q2867946$17F23ED1-8FA3-470E-85E2-83F79052159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$33D01DF8-24B4-424E-8DC8-25A68558E13E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac6d1e01ce57dfb61eea9957e48c4aea046341ba","datavalue":{"value":"10.1016/J.ENTCS.2006.11.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867946$7FE06356-2C3F-4E33-9A6F-F87E53021E61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d745d7618a6e14460964307f93fdc07339c8417","datavalue":{"value":{"text":"Undecidability of multi-modal hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867946$0B1C9EC2-2EDA-4500-AA8D-47280744C88A","rank":"normal"}],"P1643":[{"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":"c35d57f1147a39b5839c26260348b25fbcf5ba3a","datavalue":{"value":{"amount":"+0.8172198534011841","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":"Q2867946$61014946-9C0A-4687-A659-347CBD67E504","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":"3a026a477135c8e33f9b208905d4f0dae0d927dd","datavalue":{"value":{"amount":"+0.812289297580719","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":"Q2867946$A97C86B0-B161-4FF5-9562-8BFD1A567B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e47e9602aafbc3f1a0492ebae9933fc47e3a50","datavalue":{"value":{"amount":"+0.8114625811576843","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":"Q2867946$103E795A-D473-425E-BA67-C0A82DA70689","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":"7d1bdfdd9f8454304e5cff934bf901974f43ed19","datavalue":{"value":{"amount":"+0.8004024624824524","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":"Q2867946$D8A7FD9C-EC27-4B8E-9B6D-D05CC56E2A3F","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":"2793915a795735ba7d4498d8f06abd2ae57ad4b6","datavalue":{"value":{"amount":"+0.7854816317558289","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":"Q2867946$F416E786-54DF-4000-AF39-482D7582EFF4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867946$68A3E743-D2FC-4EB1-9484-A50A4FEC2690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867946"}}}}}