{"entities":{"Q1047797":{"pageid":1049645,"ns":120,"title":"Item:Q1047797","lastrevid":50866367,"modified":"2026-01-15T12:07:18Z","type":"item","id":"Q1047797","labels":{"en":{"language":"en","value":"The complexity of hybrid logics over equivalence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653951"}},"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":"Q1047797$E4AC039A-1ACA-41F6-B90D-19B65B53A497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"706bd13dbb1d72f41a7d2b5593f4f2df7ecd4bd4","datavalue":{"value":{"text":"The complexity of hybrid logics over equivalence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047797$D7821E24-BE9B-429E-822C-AD38D7C1989E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c37d5d7277ed7a85b1cb9a2097dc553aee6ceec8","datavalue":{"value":"1193.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$756BA631-AA46-41DB-8A6D-CF9FAF101B4D","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":"Q1047797$6B254856-5898-46EA-B0B4-CA171AF843C2","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":"Q1047797$0BCB440E-FA33-4661-A7A2-7E88CA6D53FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047797$0266A1AD-92DE-4D10-8C67-D7F15FE32352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047797$CD9A934D-FA86-4F4C-9D90-B2EB4C41AA9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$A2F2D279-F4FD-4921-AF29-A32C6AD056B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$DFD8D948-0CFB-4D90-9CEE-5B9476BABDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$3371DFB6-0BD4-454A-A05B-FF613D79551F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e978f158105209232a492a9d56b22811f16a0af5","datavalue":{"value":"5653951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$1E3063FB-1336-46D3-B0D9-461F0C4CF43A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047797$4588BAB3-871F-4F92-B55E-0897BC6D54B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9547be7257179656bcd6081413ab22b7f2842504","datavalue":{"value":"downarrow operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047797$DD7C9BCE-8106-48E0-B628-96043EE75FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047797$7186B803-464D-4641-AA88-4ABECFAD3D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047797$0A9F1210-023B-4FE0-8C56-6B53FBC3369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047797$D0CC72A4-D31B-447D-A33B-FD5B56831DD1","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":"Q1047797$F50F938C-2174-40FE-8EB8-77CF8BEBF022","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6acc00bb2a79d0df6c7bc3bee8d8664f8776b6fa","datavalue":{"value":"https://doi.org/10.1007/s10849-009-9089-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047797$62EBE87C-B24B-4DC6-A456-D2E6E7ABDBD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f76b94b8c22b9f84ba97a8eae0fd92851357c5d","datavalue":{"value":"W1968075259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$D5862FC1-8CB3-4CDC-B462-5DBAD6A66D0B","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":"Q1047797$4B246985-6232-46A2-A3EC-C27B114E19B0","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":"Q1047797$61F797AD-AF13-4554-92F1-AF519BA3224A","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":"Q1047797$F5B1766F-73DF-4FD5-90FA-10463C0E08CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372a95fa85b54853eb1f9c694aaffe0cdae4c732","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047797$23AC1E48-5C5B-4BEE-A381-A2968177A10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b3ff554a95ba9165844042be00e41e2a69c90","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047797$7CDEA9E6-7940-4F5B-AF74-EBB0A212F517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4278516060e697fdc8e4d4af48d22b76c754d","datavalue":{"value":{"entity-type":"item","numeric-id":2506828,"id":"Q2506828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047797$F973D3E9-B39E-4F08-AEE0-F3A89E5B919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047797$A43A590B-6CAC-4188-8A0A-6618F9B8BC4D","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":"Q1047797$24F0E066-DE38-4A33-B73F-25FC4345D4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb1f4d6ad884b10554b7ab918efeb5d08ce1ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5483005,"id":"Q5483005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047797$CE57E092-5D99-40D1-8BC5-5D9240B7AED3","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":"Q1047797$FD60C924-3587-4D37-9505-6072205EAE3D","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":"Q1047797$1F4E1CE8-7E06-4DA1-8BEA-75114D966A4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b2d7e0522c97629bfcca3c8fe6b2ad6c3baae05","datavalue":{"value":"10.1007/S10849-009-9089-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047797$A273BF8C-7341-4CBE-AE23-249C5D366E50","rank":"normal"}],"P1643":[{"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":"43a2bf8d6d8721fbb56b2ecebea955eefeef3bd8","datavalue":{"value":{"amount":"+0.8481528162956238","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":"Q1047797$4D96B780-69E3-40DF-A49E-99CF5323C64F","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":"45adbf649fcdf20da9d4d7c421d27591b7b31024","datavalue":{"value":{"amount":"+0.833504319190979","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":"Q1047797$B16FBD91-127E-471B-B9E4-546871B28868","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":"4328b52ef75d248addaa9c9a3aef88a37e429db2","datavalue":{"value":{"amount":"+0.8265740871429443","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":"Q1047797$4466B7A1-D3DE-4392-944E-1BB599C5ABD5","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":"67d0250ea4d367ef444e62e741bfea45d4bd754c","datavalue":{"value":{"amount":"+0.8141604661941528","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":"Q1047797$E2A1C45A-9B61-458D-AAEF-424F06AC9F03","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":"b3cc34422151d9675bd7299a2538604f25909c50","datavalue":{"value":{"amount":"+0.8129000067710876","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":"Q1047797$CA6B5D9A-B03A-4DF3-886D-DAFEE76A79AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1047797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1047797"}}}}}