{"entities":{"Q3382809":{"pageid":3393512,"ns":120,"title":"Item:Q3382809","lastrevid":55388365,"modified":"2026-02-17T15:17:26Z","type":"item","id":"Q3382809","labels":{"en":{"language":"en","value":"Internal proof calculi for modal logics with separating conjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398775"}},"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":"Q3382809$F97AA93C-5D8C-4D7D-BD4A-944BC0726A5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c785009d7e63b58f8c9acc36fbacd2bea7b7ae6d","datavalue":{"value":{"text":"Internal proof calculi for modal logics with separating conjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382809$2A83C425-E216-4469-851A-98EEFF43ABC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382809$7B12BA5E-AE44-4D5B-882A-DD44FBCDC1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382809$A68EE153-D258-4779-8209-A6C89324BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382809$BE9B59F1-F6B7-4DD2-A5AC-DBDC5E652C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"298bf7ba67772e027c232daaf82fff0b94bbeb35","datavalue":{"value":{"time":"+2021-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3382809$F7E24021-93BD-4DD8-A6D7-2E8922A318A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382809$430BA4E6-2E84-4ADF-9C3C-CE612106F823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382809$C7CD60A9-1831-4CD9-8CC2-DCDE3252AD89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb0c103a109e5378f899b4d42057d20ce50d7ae6","datavalue":{"value":"7398775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382809$FF1C5561-98B7-4A41-85A6-C4D7B75FC98D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$4026FC68-E9A4-42DF-B58A-95C9A7CC3827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$282B6BCB-ABFF-4AF1-A09E-4DFA7ABB5118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986ddb07b705bc08a3971cbd18f45ea5b616628a","datavalue":{"value":"internal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$8ED0B6E2-D5A8-4385-B8AA-CCF6590FF262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$E48EB66B-E391-4D7A-A0A3-C035B932EB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1823cc516987106a30827dde84858f493062272b","datavalue":{"value":"Hilbert-style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$7080010A-CD02-4EA7-8E27-E9D19D4E44B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9c293c1551807e55218fa0b71de9e4d56af7570","datavalue":{"value":"core formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$E76360C7-DF61-49E2-93A3-D63614E6B0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb514f46579c0e41790d1a44a7f5356ff89bf848","datavalue":{"value":"reduction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$FE5CDC3C-CC88-47CA-8C1C-73ED21C5D484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b209e9373733a6cba5480b6b8669a6f8ed26b57","datavalue":{"value":"separating conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382809$AA79FA7C-8CE5-4AEA-8230-09C8DF8229DB","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":"Q3382809$D9BC8679-1AA1-4470-9EF5-7D01804E9AEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36ac0e18eb7dd4a9176dd0b8fe804fd37f7b0a7d","datavalue":{"value":"https://doi.org/10.1093/logcom/exab016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382809$56592EB2-3413-4CD8-B70C-FEAC43103674","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb0f42f283996103e8adcb0e9f9208f879a8c9f2","datavalue":{"value":"W3162242398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382809$6AFCC326-7566-45CE-8E13-A62A507DEBE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e3c42692453be6ef0d50e3fd409d23abe2f111a","datavalue":{"value":"10.1093/LOGCOM/EXAB016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382809$6D426860-A8A1-4D9F-A3EE-42B4EE5B1CD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382809$985BD2B3-03B3-4D61-A03A-8A23BDDEA3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5557f5d219b49aa06b8acd700e3c76068a4308b3","datavalue":{"value":{"entity-type":"item","numeric-id":2296754,"id":"Q2296754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef38324dbb1f3b6b63cf4c54fec99d4974c5fcbc","datavalue":{"value":{"amount":"+0.9444913864135742","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":"Q3382809$6245E8D0-2DFD-4CBA-AEE1-4142DC1C23CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11cdc09b05fa6f665eaf452866ea710fc5e87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74600bed4c3e2a1f553e7daaf4f03887a1b7dad7","datavalue":{"value":{"amount":"+0.7769059538841248","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":"Q3382809$08A5E630-CE2B-491A-8FBF-AAF1CB83A482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a90c223ab4c301f2d04ef53ee8575fa60f7ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5baae3e8524cfa1690d2c7c45b6c83447a840f5e","datavalue":{"value":{"amount":"+0.772374153137207","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":"Q3382809$6A6614A1-3F00-4475-B4F8-0BF61300FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079700e8a3458e82a442ea0ce54422cd2135c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4579962,"id":"Q4579962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03924d8501091e75d874043584a4617e97657e3a","datavalue":{"value":{"amount":"+0.7609955072402954","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":"Q3382809$E462F0E3-FCAF-4BD0-8728-7AED1B33A0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e13ca25df2de71a9a71b5f2dda098f088a56ca1","datavalue":{"value":{"entity-type":"item","numeric-id":290917,"id":"Q290917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85d38d588435ca48873fdd93ce3fcac71493766","datavalue":{"value":{"amount":"+0.7500756978988647","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":"Q3382809$B70B6382-415C-4142-A0D0-2C0152F36577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3382809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3382809"}}}}}