{"entities":{"Q2758042":{"pageid":2768781,"ns":120,"title":"Item:Q2758042","lastrevid":83109740,"modified":"2026-05-07T06:05:57Z","type":"item","id":"Q2758042","labels":{"en":{"language":"en","value":"Hybrid logics: Characterization, interpolation and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679316"}},"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":"Q2758042$158EBDD3-2EBD-4406-8291-BE5AE0BAB9A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b990950e7be63ccff52c8df62ad31d812fe15617","datavalue":{"value":"0984.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758042$B4B89DB8-2935-40D4-B2E1-88101A20BE87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86ccaed3ca0a92a1da9e9aa29b1ced9c07eb7cc0","datavalue":{"value":"10.2307/2695090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758042$DD23BD69-45FC-4A15-92E0-06BC74E6101E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$6210B592-9885-465F-80D0-FE081CDB78B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$3D791099-522C-4BDC-AAFE-EC627DD5022F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$51F91909-D28F-4D32-A275-EC1DE8C0D5D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90867f865b1b2e1499356a1ae718dfb4e0f4427d","datavalue":{"value":{"time":"+2002-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758042$17D6AD2C-4E54-42A2-982D-62A4ED5A2F0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758042$24E73916-2FB9-41C4-BB08-362409C3A52E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e92cf0bf540925a12602b7407b8f52036f85dcf9","datavalue":{"value":"1679316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758042$8919C0A8-0058-4DD6-ADE6-8E008C367099","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9868e6503af57d6a626d7e26601b9c8571c943bc","datavalue":{"value":"hybrid language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$56B3D9C5-72BB-400E-BF99-446B55444BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$CC50564D-BE6B-42D7-89BB-D9A773981036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$167CF195-C0C4-4462-AB91-2CA60A8077AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$4AEF2F0E-7B5F-4CE4-90B0-05377AB8F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$276BB252-C20A-4D7A-BF37-429A969B1F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$E5967908-8F47-4433-B9BE-3DD00B0AE716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$19047F95-4B8D-4991-A82B-8F76B950F375","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":"Q2758042$D0D62F29-4070-4D62-91E0-D508E9F8274E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7374189ed903fd1cf91b4dddbb363cab00954cb6","datavalue":{"value":"https://doi.org/10.2307/2695090","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758042$FFBE32F1-A1CF-45C6-A912-CD1611CBE6A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc1081ffdf0b8a2e4423689fdbeecb10eea09f84","datavalue":{"value":"W2068458083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758042$C7F18D7A-8733-44A6-9DA7-119CDFF43C80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$C0AA9D86-C98A-40A4-A462-6BCAC0D48F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$CF300E5A-7614-4BE1-8801-DFDF09646D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$F54DDC2C-96BE-408C-90E1-EDD15DA75B6F","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":"Q2758042$79655958-A4A1-4F68-ADC9-C8302B3D0632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$54FB9513-252B-4F37-BA8E-52B5DC5D9F26","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":"Q2758042$DD88D49F-4DEE-44BF-B714-B4803DB19853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$FE3571DC-AC17-4F6D-97A7-CF39BB605EF5","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":"Q2758042$1325EB1A-F2B6-4F8D-9601-B7A5B92C5738","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":"Q2758042$17A621FF-3D9F-4F77-B62C-CC124D5810E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90beb19f4ffcf44d7e4b4bb5b446d783518b65a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$BE623801-6FD5-4CEE-8A17-0C5178AE82BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d50cda5fc23672de66084c6941335d81788aea","datavalue":{"value":{"entity-type":"item","numeric-id":4318161,"id":"Q4318161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$5DB53A6F-275A-4257-8BEC-6FBAF29FF646","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":"Q2758042$873D401E-0014-4876-8FCC-561F2B70DDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$41BB29B3-7046-4616-8949-F563062FE04D","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":"Q2758042$BD7FC602-F00A-41A9-A781-459FA0D52FB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1e304309c28dbe2fd4a0ff9056add6b487b99f5","datavalue":{"value":{"text":"Hybrid logics: Characterization, interpolation and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758042$E43A8414-C0CD-487F-A936-943D04F39728","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$42B70CE6-EB88-45D2-8ACF-33AD7D1D8E35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"590c1470eb307b6adcfa4db10a75320c8a985a6c","datavalue":{"value":"In the paper a hybrid modal language \\({\\mathcal H}(\\downarrow, \\@)\\), corresponding to the fragment of first-order logic which is invariant for generated submodels, is considered. The language enjoys the strong interpolation property. Complexity results for fragments of \\({\\mathcal H}(\\downarrow, \\@)\\) are given and undecidability results for the whole language are sharpened.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758042$85D8CC0D-1CB8-4F65-B029-2E5148804611","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4764fa0cd49fe833a9ead0ffbcd3b01195518cc5","datavalue":{"value":{"entity-type":"item","numeric-id":585672,"id":"Q585672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758042$8ACCC3E6-DE6F-465B-B50A-20548F42CD31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e9b1f7c13d34d8ee20637af16cccb2306ed42","datavalue":{"value":{"entity-type":"item","numeric-id":3160549,"id":"Q3160549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f424969262659a93249d5ec4e46118c81a748252","datavalue":{"value":{"amount":"+0.8357149362564087","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":"Q2758042$B2CBED1B-4CE8-44D2-8548-60068D490BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c083279b4fd49c1b0797eb61b9d0b7bdce2cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e733b46010d1196765a965dee7cb5a4cd6ce0d0","datavalue":{"value":{"amount":"+0.8192055225372314","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":"Q2758042$1E866141-C640-4774-9087-88B8A10C0EC9","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":"1e733b46010d1196765a965dee7cb5a4cd6ce0d0","datavalue":{"value":{"amount":"+0.8192055225372314","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":"Q2758042$C307BC28-89F0-4E78-A3B0-B83F22C2B86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2279955c93bc35d36a8e9f3c86e6c0d66b146480","datavalue":{"value":{"entity-type":"item","numeric-id":5477453,"id":"Q5477453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff4c21a6d807f6b80c980d1cc4aefc3dde83cb6","datavalue":{"value":{"amount":"+0.8114116191864014","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":"Q2758042$42C4D842-D8B1-4E5A-8A47-EF01258DE652","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":"cfb28a7bbf5c3e868926745a3556b59a553670c8","datavalue":{"value":{"amount":"+0.8027512431144714","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":"Q2758042$0033D975-4CC8-4365-BF38-4A7C9F9EA877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid logics: Characterization, interpolation and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_logics:_Characterization,_interpolation_and_complexity"}}}}}