{"entities":{"Q2487871":{"pageid":2498614,"ns":120,"title":"Item:Q2487871","lastrevid":48527047,"modified":"2026-01-05T03:00:36Z","type":"item","id":"Q2487871","labels":{"en":{"language":"en","value":"The semantics and proof theory of the logic of bunched implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2194042"}},"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":"Q2487871$731D0270-30B8-4AC0-84FB-FBB485BDDBBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c644a89abc0b744b103580aef2ba875960445917","datavalue":{"value":{"text":"The semantics and proof theory of the logic of bunched implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487871$1C3D1F3E-DDC6-47E3-90F5-471BC7185AEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d613922ccbe09dc8353b1efd584e496fa8fd2a8c","datavalue":{"value":"1068.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487871$E9B8EB72-74A6-49AF-BC4A-270C1D8C44C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487871$A1B0E560-2CC1-4D51-979C-F1FF7DB9C1DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487871$A219E149-06DC-4615-A8ED-8D15BE5728A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f6a237b86c697e1c87bf660eea436014dd381c4","datavalue":{"value":{"time":"+2005-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487871$6C69256B-9726-4200-93A9-0F0418E1DFCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487871$B3B12A98-5490-4B6C-B920-5C62D607ECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487871$48F2E3B7-C641-4930-909F-DEA0063E2B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487871$F803EACD-AE47-48A2-9E36-1129412B9E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487871$81DF9EC2-C1A3-461A-AD06-1C7D2D8E5A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1fa4f8e7754ef859abe658c28a02abd584d0de7","datavalue":{"value":"2194042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487871$F6206936-A379-4464-B551-C73034AB5A8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487871$8F19A1BC-A531-4BE2-A801-E07EA8DDDE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487871$B1384761-88D4-4EC3-8CB7-58903F1EB99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487871$51846C16-46B9-4429-AB0E-EE3D64EFECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487871$AF27CF72-8B61-41CC-BA6F-525B0262F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487871$20307895-66DA-4883-B664-3A5029EBA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1f6d7423bb70c17c1c221bf633203cf64100cb","datavalue":{"value":"computational interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487871$ABD71FFF-332E-482A-9454-8604BD5E862D","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":"Q2487871$01961F32-75CF-4CA3-8102-FAFE19DCF120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417be89ccb68ad16338f37d3799a3d1b9fc7eb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4714758a77b47e3ce1c30a938a47fa8507a51800","datavalue":{"value":{"amount":"+0.8758834600448608","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":"Q2487871$30A501AF-0273-4805-9B00-F6F0EC740679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a60b3cf2c0b21f2a564b6ce714c4c7e7fd1ba8d","datavalue":{"value":{"entity-type":"item","numeric-id":4223033,"id":"Q4223033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a412d72ae68ead57d6fafd66cbc9d7e54e9d76","datavalue":{"value":{"amount":"+0.8712844848632812","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":"Q2487871$78DE28F8-9D5B-439D-8918-554FD644F652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa989996ced01fe27d84d37ed342ebc72ac4f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978fa5501c677cba1a2520587fcfb016002fa03b","datavalue":{"value":{"amount":"+0.8555335402488708","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":"Q2487871$391FE340-84C2-4BFE-B30E-57F349676BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2249157f6965ebba3e8813e6b4b9a32cfe69dae","datavalue":{"value":{"entity-type":"item","numeric-id":3575307,"id":"Q3575307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fb3efdb35662f30c28b8b773ef029d9043da8b","datavalue":{"value":{"amount":"+0.8318094611167908","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":"Q2487871$A10A7A0A-E528-40B7-990E-BB3E7CFFD4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82885b1f5991946f96bc4d9fd62f76b0ac3ac859","datavalue":{"value":{"entity-type":"item","numeric-id":1935559,"id":"Q1935559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea06521746a7e61d60cd7364a009b42bc28ead9","datavalue":{"value":{"amount":"+0.8256144523620605","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":"Q2487871$88443068-C950-4FDA-8281-85AC7C1D3B8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2487871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2487871"}}}}}