{"entities":{"Q2772880":{"pageid":2783618,"ns":120,"title":"Item:Q2772880","lastrevid":83292881,"modified":"2026-05-07T07:06:01Z","type":"item","id":"Q2772880","labels":{"en":{"language":"en","value":"Internalization: The case of hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708378"}},"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":"Q2772880$E24AA6B6-03FB-4233-BE04-DB8760C89699","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0f36a28d52c554e8d11fc6aa61b3fd837c8dd27","datavalue":{"value":"0991.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772880$9F5451AD-68AD-4BF8-AEAA-F4F0FA8EEFF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7015ce4ec10ee73d8119ff340005dbe4307a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1679743,"id":"Q1679743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772880$37701AF3-3353-466B-A14E-F14EE2CB2EB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04ef60e6a08d63a03521c7b80b58e0a998b63b55","datavalue":{"value":{"time":"+2002-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2772880$42157BE5-C531-494C-BE98-C0A94803396E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2328842aa6d401e80235a43bdad0e0c9b3216579","datavalue":{"value":"https://semanticscholar.org/paper/856c1727dc07be0c5c104c393759e3b24a4be03b","type":"string"},"datatype":"url"},"type":"statement","id":"Q2772880$395ACE5B-F112-45E0-9C09-1E71AC587A74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772880$94A2EFF0-1B25-4DE3-87FE-04D3DF86D724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772880$84BB2550-7A2B-44F8-8B52-8BC5BD6501AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a8563637031c9e73b87bf2467afc49a583b95cd","datavalue":{"value":"1708378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772880$D34CEC8A-3C13-4116-A6D4-841721593D93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05f313d62402915d745555f56b91ccc258c4e7da","datavalue":{"value":"internalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772880$1A6F3113-0BAA-4BA4-9997-1B6DF47A29EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772880$F832C3A4-4D43-4F03-947F-5318B7A8E617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772880$52BA8635-DF1C-4AC1-A958-FBFDF3C3D490","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":"Q2772880$4F4A1CFA-4987-42E6-9843-7B841112C20B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bdf021af1b9c1f948d2facfe8524ec77bf7ed84","datavalue":{"value":"W2040173145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772880$7414146F-BE3B-44AB-8BAF-ECD66B1EDFB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2503e40ae646c7f0e7e8258b5b0b8d9f0f301e14","datavalue":{"value":"10.1093/LOGCOM/11.5.671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772880$7EC2618F-8C7E-47B2-A1A4-654DB4FABAC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b2fe46a9f5f053bf947168199be3d21ed7dad25","datavalue":{"value":{"text":"Internalization: The case of hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2772880$7E41D17E-6820-4BB5-8905-89EB69AA8FB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772880$A46F653A-349E-42A5-83F5-ECC3C53EAB4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bd167d8d3740381fcd0666b9ebb6993b6302760","datavalue":{"value":"The author presents a method of internalization for hybrid logic. It works in three steps. First the semantic theory of hybrid logic is formalized in a sequent calculus of predicate logic with additional axioms. In a second step a refined calculus with the subformula property is introduced which, however, is not fully internalized. This is solved in a third step by another calculus which uses a hybrid operator. In the final paragraph the author claims that the given strategy can be applied to a wide range of logical operations but that the exact limits of the method are still open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772880$468CBE2A-7C7D-47A3-967D-E0BA57CB9B61","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772880$57A590D4-B48D-4781-A651-984F8476A5E9","rank":"normal"}],"P1643":[{"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":"7430957781260142d2d379a08fd64a760e38da45","datavalue":{"value":{"amount":"+0.7537689805030823","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":"Q2772880$A4665841-C855-4860-A59F-F8D632972DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6368bd4f08259bc280d2acc02ad7796ef0463a","datavalue":{"value":{"entity-type":"item","numeric-id":631081,"id":"Q631081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271fc25bb2867b5b19628cd2e65ee8b3a9c5cd84","datavalue":{"value":{"amount":"+0.7516796588897705","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":"Q2772880$27C0DDFE-3E52-44E6-B0D6-CC53C1FF8563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133382b636faffad1bdda8c708b74e9ea4e3f545","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ac438cb86353f2ab2217875d0a9f0bfab1af77","datavalue":{"value":{"amount":"+0.7490021586418152","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":"Q2772880$8016B909-8076-4C9B-A8B6-A3C28B2E2FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22b407052d5e8a7b574e326c79bdb80a52596fe","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356a120eb5891e562d03d23280be590ea0c493f2","datavalue":{"value":{"amount":"+0.6976384520530701","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":"Q2772880$1CC5D897-E62E-4877-B37B-8E43038CFFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e45ba09a6d76d7e9e759e3897b6222c0088c648","datavalue":{"value":{"amount":"+0.6776489615440369","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":"Q2772880$4F486657-85F1-444C-99B1-FF8556EA0ACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internalization: The case of hybrid logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internalization:_The_case_of_hybrid_logics"}}}}}