{"entities":{"Q817688":{"pageid":819536,"ns":120,"title":"Item:Q817688","lastrevid":64565301,"modified":"2026-04-11T20:44:47Z","type":"item","id":"Q817688","labels":{"en":{"language":"en","value":"Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013025"}},"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":"Q817688$FC927B7D-C75F-4E51-B89D-D73055850389","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff4a326d5eea9d4a57674105bd73eeeda88426ac","datavalue":{"value":{"text":"Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817688$64A407A9-FFF1-4B86-A754-6FDA6B6D1E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521a6290d56b4418c55090397a41e30dd3c82078","datavalue":{"value":"1098.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817688$01C51F75-368E-4A31-8DF7-8B6E1C94FD8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$D19556D2-1472-4ABD-AE8E-DA8CC4800464","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$2ECB57D8-A27A-49BD-8E40-5A1C83368CD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817688$BAE33F39-C5F5-4928-90A1-7070D19020D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9edd6f292b7605141c2e60ee99d60b76bd75c707","datavalue":{"value":"A hybrid logic is an extension of modal logic obtained by adding both a sort of propositional symbols, called ``nominals'', and by adding so-called ``satisfaction operators''. A nominal is assumed to be true at exactly one world in a model, so that it is a name of that world. Whereas in a propositional logic a nominal is a propositional symbol, in first-order logic it is an argument of a predicate. An expression of the form \\(a:\\Phi\\) means that the formula \\(\\Phi\\) is true at the world named by the nominal \\(a\\) (where \\(a:\\) is a satisfaction operator).   In this paper, hybridized versions of propositional modal logics are considered, concretely, S5 and the modal logic of inequality. In the former case we have a modal operator, \\(\\square\\), interpreted as ``everywhere''; and in the latter case we have a modal operator, \\(\\overline{D}\\), interpreted as ``elsewhere''.   The author develops natural deduction systems for these logics and he proves their functional completeness. The natural deduction systems are sound and complete in the usual model-theoretic sense.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817688$0808A2A4-836C-412D-85A2-E212FAE6754B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817688$1F52F5CE-8B9E-45E7-B156-DDF6B393AEF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84d39034b2558d58c25a5bddff1c212e0720cdc0","datavalue":{"value":"5013025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817688$EA4DBC05-A00B-4172-B7EC-48B3EFA6D401","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817688$A2D900AF-CBA0-4CE3-A1CF-A076159ED189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817688$C4ED2A39-1067-4548-BBA0-4D9701047E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q817688$4DA0AF37-CC47-4A20-A996-A80E4C3644BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7bb704d7001f2c74b9847084a45d5ec0f055d6","datavalue":{"value":"functional completness","type":"string"},"datatype":"string"},"type":"statement","id":"Q817688$450EC348-8895-4CBF-A5DD-97DAA3F03EB7","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":"Q817688$71423689-0C42-4561-BE45-061CFBC69801","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eccb31334d7c8127cbbd51c4cbe94b912a676110","datavalue":{"value":"https://doi.org/10.1007/s11225-005-3704-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q817688$F554F237-CA86-4977-AB76-216125668D8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2634f2e5a3336f952cd34bc2501c10d50886351b","datavalue":{"value":"W2057227305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817688$37F98615-3850-4FF9-901F-9DEE316794B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$F92DE168-BAE9-40B9-B0FB-93F49ED3835B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$3DBFC03F-EA2C-468D-9794-4C91FD1960DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$00CE2257-673C-46AB-B261-41CA1E6934DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3abb81cf65fe1593158d7caf4b8e92f35886a","datavalue":{"value":{"entity-type":"item","numeric-id":1286394,"id":"Q1286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$8A4E4D47-FDFD-46EE-997C-B44283647673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811458264a650a109340a5030fad038d17897be7","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$B6E7EAA7-DD86-4D19-AED7-7528C097861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd8917e8e8859c82902b28da3de5787ab448661","datavalue":{"value":{"entity-type":"item","numeric-id":1857362,"id":"Q1857362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$BB48055A-4772-407B-8B9D-16DC8460F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0bde877211bd17f9bad61f28279e238d06b66e","datavalue":{"value":{"entity-type":"item","numeric-id":5465434,"id":"Q5465434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$394E29D9-7DFF-4D76-931F-8591394CEF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b696b21e9499f989300a49908e9fc7a459a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$784624BE-21BE-4571-9580-0CA3A22261F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044bf00925be11db1d400fa08e7bf4de0d452f67","datavalue":{"value":{"entity-type":"item","numeric-id":1424966,"id":"Q1424966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$48638B7F-210E-413A-AE5A-90F3DF80B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81197bcd468bcac12d7ca64f6e8d9c1b4a403ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$4BDD014D-1D7E-4F2D-B831-B8703A5470A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$DD7CD67F-F610-4A9F-A1EA-F2F9E9E9D7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$A5D96DED-37D1-4482-81DE-C5FA54580787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e932574c9f27ff275d773156b5437912784e81ef","datavalue":{"value":{"entity-type":"item","numeric-id":4796460,"id":"Q4796460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$F3402CA5-265F-4523-94CF-8B2F5AEB77F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$04F0DD0B-D2C6-4ADF-A9D7-FE11265AEE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$4421584E-75C0-4A96-B4A9-9B8C52D18D33","rank":"normal"},{"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":"Q817688$83203704-A646-4BBF-8E80-9A3A8ED975D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$8FAF7179-1F36-4930-B8A3-9D4D7BAECDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2206dd9946cc8d5c03e6f7ed9d80aa7d7a8dc5","datavalue":{"value":{"entity-type":"item","numeric-id":5619813,"id":"Q5619813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$B75CEA84-97DF-4A9B-A84F-8A7F991ACE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$D76E9AB2-AFEC-43FD-8D93-3BEA4652CC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$A4636B34-D79E-4A2C-9091-A8E3C92CCD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626844e9f28589d93bd8625672a9cd46823c520a","datavalue":{"value":{"entity-type":"item","numeric-id":3262211,"id":"Q3262211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$FCA6C422-2C50-4C62-A03E-DF770ABDCC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$BA266A6B-AAA1-4601-919D-5C3BB7EEEEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$02A266C4-3CE5-4812-9F49-A7FFBCD0F4A4","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":"Q817688$24D831F4-89F6-4D39-8CB0-DEABB1427786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399fb721cf3282f89efb64e756344649295a060","datavalue":{"value":{"entity-type":"item","numeric-id":4394920,"id":"Q4394920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$0C6AA3D6-D95C-4B30-899E-39BA40777E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cea366c18f6580ba2ca453e5db5d695103cf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3758801,"id":"Q3758801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$52E2F841-6BF8-43F6-B64A-B62C0E27B80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$6CB2089D-54E8-4ECB-AC53-77449D08A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbf45694af5e001448ad6cb811fd883946870f3","datavalue":{"value":{"entity-type":"item","numeric-id":4835536,"id":"Q4835536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$490246A8-83E4-4061-B410-64A284674878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$D2BD93EC-466C-4374-8A18-8F8334493CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492a7fa8a91f6eab1424d559791923c9204fc4e5","datavalue":{"value":{"entity-type":"item","numeric-id":5549787,"id":"Q5549787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$29E13B85-C007-4607-B144-A6D81FF21249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$41FCA042-711B-4805-8668-4ED54A57240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53ce925e83e28639cda8ae5dd7e22cfd4604de6","datavalue":{"value":{"entity-type":"item","numeric-id":5688808,"id":"Q5688808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$D0F74DCC-3B74-4166-88A8-CFB9BE056D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad7d6be8d828e741320b3d4554a289565a066f6","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$EF190382-7FB7-499E-BB10-7F35A50EAC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e74b4234b7589a854f4c9cae8fb28ca52c5393","datavalue":{"value":{"entity-type":"item","numeric-id":1258298,"id":"Q1258298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817688$98D7AE72-81C3-47EA-9D44-BF947B6C66BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a5ffe2a67bc33000b2719ee5ef56b712494f08d","datavalue":{"value":"10.1007/S11225-005-3704-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817688$2EE36D7F-8BA1-496D-9BC3-904E3AF71AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018086bcbf46b20200c3781c779b97f9b5a3a20e","datavalue":{"value":{"entity-type":"item","numeric-id":5465434,"id":"Q5465434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922817cb91f23717251d677d112e6f96dd178bfa","datavalue":{"value":{"amount":"+0.837441623210907","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":"Q817688$AEE8804C-9248-4341-A592-F6A078E06767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947b01272651624c01d6afd206bd4917bd43318e","datavalue":{"value":{"entity-type":"item","numeric-id":484101,"id":"Q484101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef34fd3b86a6cee98e84a8c19b44a2d79a974a7","datavalue":{"value":{"amount":"+0.7957408428192139","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":"Q817688$355D5642-EF67-43BA-95A9-8283AC9EF09D","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":"e56088afad9ff8ebe98cc3aba70808715ffb7588","datavalue":{"value":{"amount":"+0.7919601798057556","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":"Q817688$B9470BD4-F45C-41DF-AB59-AC3A40F861C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae0ce4fe78c09913d431bbf88e272565f3b5e11","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc81e22df18b7676b57eb7ac7478be4a5c09c32","datavalue":{"value":{"amount":"+0.7873784303665161","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":"Q817688$89298E39-808E-46E4-B080-1245ED693626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d990ba2f3311bd28ff181a325e0382e363e8d27","datavalue":{"value":{"entity-type":"item","numeric-id":3298278,"id":"Q3298278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3602f1b4d4ff9452b23e7c460d541ee44605eb1d","datavalue":{"value":{"amount":"+0.7782765626907349","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":"Q817688$67911E40-EF08-4183-BBF6-7450E33B650D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_functional_completeness_for_the_hybrid_logics_of_everywhere_and_elsewhere"}}}}}