{"entities":{"Q4262604":{"pageid":6292205,"ns":120,"title":"Item:Q4262604","lastrevid":46665126,"modified":"2025-12-25T08:59:51Z","type":"item","id":"Q4262604","labels":{"en":{"language":"en","value":"The Logic of Bunched Implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340722"}},"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":"Q4262604$E018F493-5FB8-4B5B-8F43-0DCBC39DBA58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cb8d4a6160e2949a454b33038d527d0749457fe","datavalue":{"value":{"text":"The Logic of Bunched Implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4262604$3F97CD21-4BE8-4913-9E3D-2D1C4623995A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"676d2e5c1bf9c5d4d0a9b41c748e66de956240ab","datavalue":{"value":"0930.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$0983AB4E-5D4A-4D45-98EB-38895D68B043","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3233347fe7a07f8adb4d8e5037d904c7ab6032d6","datavalue":{"value":"10.2307/421090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$AA8012B6-8BAB-474D-8273-59A991EB580B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-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":"Q4262604$53F80272-4798-4ABB-A1EA-1CA3A0816DC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c76f84194b2f17d60190e9935e8ba53816aee77d","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0502-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262604$C34510D0-352E-48B3-8E2A-978DB3976892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$0E04EDFC-7A09-4DA8-A6A1-C03FAF094A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$F7305625-4C68-498C-8930-48B1945F409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$673BDC12-8582-4E68-B1F1-1757F1EB4AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$7106971B-98AB-4938-914E-3A1FE2D410F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45e7313a8570da38ca275c695c762eea1159a39a","datavalue":{"value":"1340722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$6AF933E7-125F-44AA-A825-E901E2BADD49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d81b5e6a950d15e92a607ba20d2af3e36da48a4","datavalue":{"value":"multiplicative quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262604$47BF0640-6DF2-4ED5-85F8-C49158146457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a33bca9caffa576277906b30b8944600f5aa445d","datavalue":{"value":"proof-theoretic relationship between conjunction and implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262604$2127AC1E-4EC0-455F-8F4D-960C173F5E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3dceffa353f75100a0a1e2fec7aa6cb9d93c25","datavalue":{"value":"merging of intuitionistic logic and multiplicative intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262604$9966F33E-7DB3-49E1-9FD4-81BD4D26B38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd68f793158db998f8527b0799539564f04dc01","datavalue":{"value":"bi-Cartesian doubly closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262604$66EE3B5B-9B8F-4838-ADED-4ABEE18A135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e624b382c4a1153dcb4bbaacf73c35637a557be1","datavalue":{"value":"restrictions on structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262604$D657A288-9BDD-40E4-99BF-DBFBC8FE4A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1f6d7423bb70c17c1c221bf633203cf64100cb","datavalue":{"value":"computational interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262604$814472CE-2E3C-4CA5-984B-00DD3B2581C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af9ffd104dd87dafe6240251065a81bc5e8c322b","datavalue":{"value":"Q56445140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$BFF23FE5-662B-4396-852A-05D43D52FD92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$5D7C8EB8-1FC0-4CB9-A437-598B6DAB933E","rank":"normal"},{"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":"Q4262604$BE2380C1-B2FA-4378-BECA-3287C97E915E","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":"Q4262604$9E01D5B9-C1BC-4E3C-AD54-E82EAAF985D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12caf402701979c5c2ae2f91933271b2b01dbf51","datavalue":{"value":"W2008132476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$0DDCF60F-6940-4255-AA97-D23CB837A2FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$195627A4-7C2C-4E0C-97B4-AD6C07FCD97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$25E48DDE-D7C0-4749-B4A0-B06E53987C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$EEB961FF-B1E2-41C6-AEC0-E83A9B571044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$443714FD-9619-4683-93D2-E355500824FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66408ed34b82c234df713b8aa6315011a631e7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4228076,"id":"Q4228076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$36AA13D8-46D9-4E88-94D1-0BD6967ACADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$37DB1196-2014-490C-8D0F-FDE87941EF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$068E68AB-FC0B-4490-A552-C3B0C3464EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0004f8fddecc0a33725b971c1c77c93c033b938f","datavalue":{"value":{"entity-type":"item","numeric-id":4692942,"id":"Q4692942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$E71F1384-16BE-444E-881B-50E8F76CBA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e548fc7503ad10393d77cff8f34b83caa7cbeeb","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$99C7865B-9231-4CA9-82AF-1157393947B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$0578FA0A-A2B2-4C21-8191-A7815C738E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$0E704119-933F-4E8C-AF47-822913BB6C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da3bd604f0a8895e8e0238ab57acb60bfefc200","datavalue":{"value":{"entity-type":"item","numeric-id":4291039,"id":"Q4291039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$1B3AE585-7950-4AA7-B911-326924FF54A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$DE62A80F-ED31-42CA-A719-1A4EA1B7163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6601d282ebd0f221ec910ff490d3669a9666ee","datavalue":{"value":{"entity-type":"item","numeric-id":5689034,"id":"Q5689034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$CF79A802-9834-4B8A-8696-2907B04052E6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"176722694db86edee141077194a75f0f629bdb2f","datavalue":{"value":"journals/bsl/OHearnP99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262604$0F5EFE87-C161-4DF0-ADF9-DE83ABEAC668","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262604$4428ED9B-9D85-41A5-BE13-847899B9ED2F","rank":"normal"}],"P1643":[{"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":"b161c0ebbcb6c32bed9e9c47e8b8efebb018df82","datavalue":{"value":{"amount":"+0.8937864303588867","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":"Q4262604$174DEDE8-8E56-4BAF-B6C1-123BE2F1F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2f97480a250a4f35c90d792203333973cefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"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":"Q4262604$103879F7-71C5-443D-9B7C-6376BAB2D874","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":"76e09236b1609ba3b90bb4465488e2243e9e8f22","datavalue":{"value":{"amount":"+0.8366515040397644","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":"Q4262604$6CE54309-675D-4268-B45C-4605E4B15CCA","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":"74ffcf75943692e8a7192c16b9afc52bf350b50a","datavalue":{"value":{"amount":"+0.8069565296173096","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":"Q4262604$89CA7A9F-D6EA-471C-A6B8-B521CC760E08","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":"6db5a54b1cebb8d9b5e39fc8fbd13c1657f42c3c","datavalue":{"value":{"amount":"+0.7999369502067566","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":"Q4262604$8A147E4C-CC90-4498-89AE-945013331FBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4262604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4262604"}}}}}