{"entities":{"Q4645751":{"pageid":6675332,"ns":120,"title":"Item:Q4645751","lastrevid":53316788,"modified":"2026-01-24T17:30:51Z","type":"item","id":"Q4645751","labels":{"en":{"language":"en","value":"Bunched hypersequent calculi for distributive substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999998"}},"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":"Q4645751$A324B8E2-0A24-4FF1-9FEB-E1526DC1E69A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a11988f9fcf5423cf452e970e4490d6942e6219e","datavalue":{"value":{"text":"Bunched Hypersequent Calculi for Distributive Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645751$4A81B3F9-59F5-4FB1-9A21-C22FA32448E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d3f019b64f44f22101f5cb3cf5f98b7499b7be7","datavalue":{"value":"1402.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645751$A11BE139-1657-46D3-B132-7AAF7685BA03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd11dbdd13f9ac97d8754d2de62cb34097a0d344","datavalue":{"value":{"entity-type":"item","numeric-id":4645750,"id":"Q4645750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645751$B4FF2CC2-BEF5-45DA-990C-B5E97AAB6233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645751$11DC34D8-E62A-4A79-8532-5A827A2E3CF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645751$5C47E0C2-1576-47DF-B331-7CBFA9E942BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645751$AAA8D629-70BB-4A6C-9CFA-9CAE11A9E7A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645751$497413C7-8DF7-468A-8C8E-AD6F915E1234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645751$9E95FC91-8462-433F-AED8-7F7A40DB0761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4ee48826c1264afa1389d3f9248ebd57455603d","datavalue":{"value":"6999998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645751$9192D89C-5F7C-49E4-A22F-939A044C9594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06d01909c9cbb15a0bc3c95c8f5b3546583bea8","datavalue":{"value":"BBI","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$17310923-398C-46AD-A84D-FA73A7CE23B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aac3217b480b71153c353d96e2cd45cab75d2af","datavalue":{"value":"bunched calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$FE946E6F-CD3A-48F1-92F2-9A3B5A04ACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$499E44A0-F4A9-48A6-8F18-A97CE440FC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0aa8a7e50b0096ab37d85f2a4bb471b26ed3baa","datavalue":{"value":"distributive substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$8139925A-30F9-4EBB-BBDC-48F89F112D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d04d7d492b2ce267a7a38bac7ceba1f8c79ce6d","datavalue":{"value":"Dunn-Mints calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$D1E04EFA-C217-4AA6-BE77-E9A073FACBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$6C718D81-D333-44AE-90EA-0B86596B47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$B6EB673A-3C4F-4D08-AFB7-4CE71F513570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$6ABEC218-9A3F-4F4C-ADD9-DC07F02A23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645751$A484DC2C-C197-42D8-BC75-CCA2AC73BD49","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":"Q4645751$206CBCCD-54B3-49F9-B5D5-D2FD12CAE398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bc71184c35b4465874803cde309e8e9507a6a04","datavalue":{"value":"https://doi.org/10.29007/ngp3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645751$D5185819-9C8F-4197-8E71-FC3BF05EED77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13b558ebe47d90dcd3cf7c20e390f51b49f279c1","datavalue":{"value":"W2740395139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645751$2F3DB6F3-B5B3-47F2-9447-9B1EE749C772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f703b3bc8d6760a4ebd641a2c77792cc7c1ce8b6","datavalue":{"value":"10.29007/NGP3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645751$72A6C9E5-5177-4DCF-8F29-33A16AAB581F","rank":"normal"}],"P1643":[{"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":"759e3149d355a1282e8de2c248d6d614124cc1df","datavalue":{"value":{"amount":"+0.8266383409500122","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":"Q4645751$8535F696-1A1C-40E2-B493-EEDD4ECB953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6791f2098bdc88259cf1f0c00716db75a4feb057","datavalue":{"value":{"entity-type":"item","numeric-id":2422309,"id":"Q2422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be04edb71ee2e7a993aa686cd750ebda1f825dbd","datavalue":{"value":{"amount":"+0.7872732281684875","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":"Q4645751$B93F84D8-8F2E-4E81-9C3B-5F33CF542B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68e8c7fce1511dd882a1df18b4dfc5008db2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1153fb2e802d4c50de57b361728b319a446d10","datavalue":{"value":{"amount":"+0.7855569124221802","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":"Q4645751$EE07F847-1E55-4BE5-85AF-226830579D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d9ad088167e8e8b573d1c4665bf637577e2a96","datavalue":{"value":{"entity-type":"item","numeric-id":1686325,"id":"Q1686325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d86eb92ea4e433caac0e302c8af3ba02f2a858","datavalue":{"value":{"amount":"+0.7696040868759155","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":"Q4645751$2FC234A7-E369-4925-826F-E62E9C2CE519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f6c8bf29a92a6bdb17349571d76f4918c0b3e9","datavalue":{"value":{"entity-type":"item","numeric-id":3178253,"id":"Q3178253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e92251e707b8f0d38c9265d6207453717bb1757","datavalue":{"value":{"amount":"+0.7658130526542664","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":"Q4645751$A8E23C54-5B57-4041-BA87-9409454F6BCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645751"}}}}}