{"entities":{"Q6159926":{"pageid":13294787,"ns":120,"title":"Item:Q6159926","lastrevid":55458100,"modified":"2026-02-17T16:52:05Z","type":"item","id":"Q6159926","labels":{"en":{"language":"en","value":"Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700616"}},"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":"Q6159926$A3A6352B-7110-4C0D-8827-719DF9A6C1F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec32593b9f7634b07f8f09285e3ca37383757e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2039936,"id":"Q2039936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159926$52306502-E770-402A-8519-CE62D927B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159926$776A05AE-F478-4E2D-8EAF-E1E766DC6AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159926$14FA0402-35BA-48DC-9D1D-8405178722DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159926$81DF9446-F19A-4AAD-89EB-9F3806879737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159926$7D4D71C6-3188-4C00-AC42-BAB1D4C379D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159926$60AEDA52-4F65-4CC1-975B-368567BCCEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159926$133A0F4F-85B5-4BB1-B1E1-09BDFD2164AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff4c2c0bb61913f390daed1da215e904ffc25e9a","datavalue":{"value":"7700616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159926$8BA86103-7D87-4FEF-AD01-5D6070012881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159926$755FF4EC-2ED4-4E67-8252-4717DAAAE52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159926$FCD3A7C6-B920-459F-88EC-4E223774522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af008ae73cdcf600246ab1a644b6e9544d4737f6","datavalue":{"value":"bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159926$8049053E-3817-4FF3-AC74-4002A825D71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159926$D8344D8C-B5BE-49BF-B8EA-C0AA1C1D2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159926$9F340AEC-F2B7-4D52-A44B-44EB9C927137","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":"Q6159926$DE206AFF-F694-4431-8767-EB464EDD1C46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c7a40682717ca4e81868296411a9712a2fc94da","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14249/pdf/LIPIcs-FSCD-2021-11.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159926$DB92637C-237E-4D4F-8081-C6A95839C52D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06b8d29eebd8d48fbb09b37fcebb03345a3b4e59","datavalue":{"value":"W3184979275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159926$044C6AD9-6B7D-450B-B20A-BAA247AE6E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be41a984dd52544e30248b05b383be35876963b2","datavalue":{"value":{"text":"Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159926$E53D06DC-333E-44C0-8289-4E6D4A38F7B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc01c4905b48934a054f37d32e4746d58e1a28d0","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159926$228CBEF2-EC9D-472C-BF62-9441CE231C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f60796cea1e508fcf1160408f28eab83a0f57a5","datavalue":{"value":{"entity-type":"item","numeric-id":2039937,"id":"Q2039937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ab24eeb1be5e4374e52a5dc0fea00fb343f55a","datavalue":{"value":{"amount":"+0.7801072001457214","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":"Q6159926$DBC54173-4C92-46EB-ADCC-49FF2EE6C3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02798da60b66c0595fbc040a700aefd5bdd18759","datavalue":{"value":{"entity-type":"item","numeric-id":3611996,"id":"Q3611996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a493eb560a13e3e16b2cc4866a058f933fabe9a","datavalue":{"value":{"amount":"+0.7291504144668579","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":"Q6159926$EDC4755F-B41F-4506-AF3D-1F41724B8CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0106281089b195b90cb8bf73fb71033405a5539","datavalue":{"value":{"amount":"+0.7118843793869019","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":"Q6159926$4D5238A5-51FD-4146-AB46-EA9D94B87CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fd74f668204d6d27440d14dfd39de5c9ec904a","datavalue":{"value":{"entity-type":"item","numeric-id":3382810,"id":"Q3382810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b243f2d75063d9e45f6244cee90066a0a7f69022","datavalue":{"value":{"amount":"+0.6829569935798645","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":"Q6159926$90053FA9-58F9-455E-B418-D4BC92451DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8025756437ab0862486ee2737530d691f3c74922","datavalue":{"value":{"entity-type":"item","numeric-id":5222971,"id":"Q5222971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f21ae2caf0c759dc84e5abaca535b1b894e702","datavalue":{"value":{"amount":"+0.681830108165741","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":"Q6159926$8359838E-084E-4E4D-BCD9-FB1923D61901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159926"}}}}}