{"entities":{"Q5697717":{"pageid":7727277,"ns":120,"title":"Item:Q5697717","lastrevid":41740464,"modified":"2025-05-07T19:02:33Z","type":"item","id":"Q5697717","labels":{"en":{"language":"en","value":"Hybrid logics with Sahlqvist axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215417"}},"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":"Q5697717$D51F7E0D-EAC7-47DE-8870-143E3073C9AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd4f19cb57527967fddeb9dd6bd379bdeb85ab49","datavalue":{"value":{"text":"Hybrid logics with Sahlqvist axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5697717$790001A0-0FEF-4F38-944D-19EEF6CB0F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d2d01543b55c39c41b25a86319ff2e36e9d2f4","datavalue":{"value":"1080.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697717$B89C2146-6553-4FA6-8D57-6F2B68D1E078","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697717$D3FC47DC-9005-4244-B14A-1B4A07BF1A28","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":"Q5697717$8B1C6E42-ED25-4051-BE6F-2364410AFCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"337befcbdcc1420124fb5b3a97a122ba6e237448","datavalue":{"value":{"entity-type":"item","numeric-id":465284,"id":"Q465284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697717$C2EE237B-56C8-4B59-90C1-33D0005693C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697717$E17C2D17-5926-4062-BE9A-706CABACA46B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5697717$B9D9DEE9-374A-4C5E-89A9-2CB398B33074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5da080167120d45ae5b46ca443256e04203bda7","datavalue":{"value":"https://semanticscholar.org/paper/c2736d5b53d80012b936e39fc5fc5494600c152a","type":"string"},"datatype":"url"},"type":"statement","id":"Q5697717$18AA691C-1D3D-41ED-90F8-A70406DE22BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697717$1CA38051-8373-4E1E-BFAE-22CFF63CF58E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"729ff3eabc57d846231683a07a4d8e0b0a422c21","datavalue":{"value":"2215417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697717$A1E83558-722D-4FF2-8651-A3C6D76AEF6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697717$C7F039CC-1FA7-403E-AD0A-AD08E552AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ddc2622d5c78ccec4d9c9b031ce7d8dd8afd97","datavalue":{"value":"modal Sahlqvist axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697717$F596747D-E741-41E7-B221-2380009C5E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697717$FE28B515-FEAD-4F4A-A840-B09965CFD1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697717$7FDF03FB-5767-4500-ADFB-459D8B79656B","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":"Q5697717$13229DF2-47CD-4C48-B1CF-9A514B70959D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4b36deca05c2a668465863f614de14dc35acf23","datavalue":{"value":"W2225187755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697717$C0419574-2FA8-466E-B666-E776149C2AB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d57a6b4212aa9746cc80a21badd1ec5c65f72523","datavalue":{"value":"10.1093/JIGPAL/JZI024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697717$A02A5EEF-F8F9-41B4-8DBC-FBD2C3380D37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226a51c741adc5a4c4b8ee9f6d388ed76827d62d","datavalue":{"value":{"entity-type":"item","numeric-id":2983399,"id":"Q2983399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b3e76d0d3a1a6f74e1ce0cf4ac0b416d612c94","datavalue":{"value":{"amount":"+0.9615214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$02E0BFE8-D8B0-4E66-B470-A7FB6714EA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aceb18afdf4b35376108f423b5383e063c87b2","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548e44659a1ec605672d73e3eeedb9ac3575ca96","datavalue":{"value":{"amount":"+0.9296222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$7BF0F9B2-B437-4862-8D93-F618419F39D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78d3d273bdba9421c754506a615d186110c97c7","datavalue":{"value":{"entity-type":"item","numeric-id":1047799,"id":"Q1047799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad3d08d57427f195be2bc2a44ecaecbf642c838","datavalue":{"value":{"amount":"+0.9266334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$75F88FF3-AF77-4EE4-876E-F45EF262AAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37c6a34787acbc1fee917b8806ee18fe94f48d2","datavalue":{"value":{"amount":"+0.9245247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$056683C5-CCBF-492C-8337-1B947E261324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0021b2ff60ff403e4eda1b7249d748643de6a770","datavalue":{"value":{"entity-type":"item","numeric-id":631084,"id":"Q631084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc31e215db4ab9b3529c4be91d2a340bc86ef273","datavalue":{"value":{"amount":"+0.9232374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$1A6FE86C-FF81-4DEC-9C22-DA2413E54E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2eed1397e41355858535281752c0dcf756d8f43","datavalue":{"value":{"amount":"+0.910629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$58932DE8-86C0-428D-8EF8-A034606F5497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e8498becd050c80f2ebd77c586d4f37d5274b4","datavalue":{"value":{"entity-type":"item","numeric-id":851196,"id":"Q851196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee35f9a0f86a88e6e22486775ccd2717c6328d98","datavalue":{"value":{"amount":"+0.90867865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$4D74692A-8570-4EBB-81FD-CFB075AB328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9189da144acaeda7dee843f03de24bc3a4a9fab4","datavalue":{"value":{"entity-type":"item","numeric-id":4639914,"id":"Q4639914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b88f3b006528cb7a057197962d357e27de756a1","datavalue":{"value":{"amount":"+0.9068758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$F238510E-0EA6-4003-A4D8-886AFCCB0BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565c4e542ed6f31e7609ec92e60069a064db637e","datavalue":{"value":{"entity-type":"item","numeric-id":2255232,"id":"Q2255232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3aa265db7f90802562ca3a20203e6bf512d8c3","datavalue":{"value":{"amount":"+0.9066931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$C16CEC05-C7C0-42D4-BC8E-37228E7CB9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b3891b9c7c32221e211cea885ee21076efc3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350b17348dc8fab621b83b6aa2e7ce4cba8bd415","datavalue":{"value":{"amount":"+0.90649855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5697717$E2FC55E4-B4CE-432A-BB67-9B60AE194DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5697717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5697717"}}}}}