{"entities":{"Q3178253":{"pageid":3188962,"ns":120,"title":"Item:Q3178253","lastrevid":52573712,"modified":"2026-01-23T00:27:58Z","type":"item","id":"Q3178253","labels":{"en":{"language":"en","value":"A unified display proof theory for bunched logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602811"}},"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":"Q3178253$F6972237-A6CE-4BC5-B63A-33480BF71B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c7965b5e5feaf23dded91e927d2bdde6ab6402","datavalue":{"value":{"text":"A Unified Display Proof Theory for Bunched Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178253$A8FA3565-0D1A-44A7-ADA8-F986D24472FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a432eba6cddff42d886c7f06b2c1b25ebbcf81c7","datavalue":{"value":"1343.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$4AA6B6AD-B305-4875-872E-CF7655C6057D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$04A936B5-4305-4885-B021-1DD52830C93D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$311C5B42-93EB-458B-9874-5DF34AE0FAB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178253$E5793C97-645A-4752-BA8D-F0E0E3C45898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$61B0F4B5-9BED-416A-9F05-AFBB9C46AA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$59E2D1D8-9434-4116-B1F7-5A78CEB5A3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$44E9682A-6A41-46C7-8C1D-A1494452676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$525B62AF-243D-455F-A2B7-5E1270497FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52d5da1c63c6aff6f2c5b20e271fec1361275391","datavalue":{"value":"6602811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$B9408B37-48D4-4355-9F3E-7C978CC31854","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af008ae73cdcf600246ab1a644b6e9544d4737f6","datavalue":{"value":"bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178253$38CE9A9B-2AD7-4EA1-85DC-D33F220A211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178253$3E08798D-9680-4482-A3AD-BB744DFADD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178253$1E08A648-ECFA-422B-AEFE-C2BD77E4BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178253$9E17D15E-542E-4ED5-8427-652DA47C4805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178253$A987CE15-2887-4D8D-97AC-67C894388545","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$861CD1B2-DF2A-450A-BF8F-98225C3859F8","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":"Q3178253$D6BAEC31-71A6-4085-8B9C-8E82378374ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63427b5f67125bf2b198a2f77924efd2f1e5b346","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178253$41949205-2758-4718-8B07-F71F4E9C8006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"510171e16b1853effbcf995a22559257fa65556a","datavalue":{"value":"W2046363825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$69C664D2-8807-4291-B299-F20D20FB43D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$C13678B0-038C-48A5-9827-6B444498EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72805d399d808246ac1c409129b26ffc11d6c64c","datavalue":{"value":{"entity-type":"item","numeric-id":2851318,"id":"Q2851318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$E9A345DB-01C7-4BFF-B9B9-A0389404A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523faea15d08bbdc5ed104058cc086f9fc5025ae","datavalue":{"value":{"entity-type":"item","numeric-id":5261530,"id":"Q5261530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$5F5E3ED6-2DD3-4DE3-912C-CBB24005B39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d0cf6f9353507581f003548ffc44ca59b72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$B4B1FC5D-7227-46AC-B5E7-069E939F4EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da372b485edc3122e090a05d4c846d87d9a3445","datavalue":{"value":{"entity-type":"item","numeric-id":5898803,"id":"Q5898803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$A5B313B9-0332-4FCF-8FC1-61D805E3E2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c013e136cb03e4c5ab8c3a7e8c7df1e0a2f62e41","datavalue":{"value":{"entity-type":"item","numeric-id":3189791,"id":"Q3189791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$9D853791-B617-49E3-B838-A5C6B644631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed3955ec9359be5a50e26c84885e35d6f9d9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$D6AA5432-E978-4BAC-BFFB-4A79E425FC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c5aa1addf460148ffcdbb0b29392259175dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$AC9C9B59-47EC-4E41-88A2-A832790004E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b6f54a2fc461f471bb488863366347f296ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":3545274,"id":"Q3545274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$F9D9BCFA-7037-4B0F-AAE3-B5E75D07B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$278EDC10-44A4-4B9C-B76E-A8D85DF25087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc2454025503e5cae66c6b14840c90286ee8096","datavalue":{"value":{"entity-type":"item","numeric-id":5385999,"id":"Q5385999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$B664D2CD-38B4-4C13-9AEE-AFFFE5C99D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397be8364a08cd0003a383a64fb0d05481c07cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$02A3941E-0545-4DFF-B276-5D832B2900C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$62539628-3898-43E9-886E-9F0A79B632C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$589EAB04-A452-4627-AF6D-8773915C3C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f1c0f611deb235448f9baae9d2d65712063b36","datavalue":{"value":{"entity-type":"item","numeric-id":3636908,"id":"Q3636908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$C9185A17-BAC7-4210-8DFB-83F67B9457A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483fd55ab9cbf6d3d40252e6e5fe64a391c1cc4b","datavalue":{"value":{"entity-type":"item","numeric-id":2946690,"id":"Q2946690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$0B89FD50-E3B2-47EF-8382-739A499CA157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$83E2CAC7-53C0-4243-AF69-A99327766D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$849B4C04-6442-44D8-A30D-D16ED58AF5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$7B4413E5-0554-4CB3-8202-BEE69964890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ae9447148eae7803b5d85085ff097343eef963","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$FADBB692-E917-40A6-8DCD-731FE83166A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1647cb3113e31824a69694c102dc4518c93e257","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178253$2B08452D-8598-4413-B193-E054FCE2FEF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d0ec801d9b89dcc884b83ac05ec01f3909699ae","datavalue":{"value":"10.1016/J.ENTCS.2010.08.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178253$3DE05802-0989-4029-A8CD-C0E3E9E6B3A8","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":"4849e7228c1e60e7712565a2458796866956df7b","datavalue":{"value":{"amount":"+0.9674532413482666","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":"Q3178253$C7146D22-E6CC-4E0D-BEFE-24D067BD4C33","rank":"normal"},{"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":"12c22562495fb0ee718f245a643e1c601593dd1d","datavalue":{"value":{"amount":"+0.9111672043800354","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":"Q3178253$92103E58-B529-41F1-90C6-348B6914E836","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":"63946d7704fbca66425daa12180c690e4be68d11","datavalue":{"value":{"amount":"+0.7829611301422119","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":"Q3178253$A0DAE432-8D88-4BCF-B107-B58F427AB8D5","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":"bf03984692aca005403f006eafe749fd1b49f987","datavalue":{"value":{"amount":"+0.7725741863250732","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":"Q3178253$6F8191B7-9797-4210-A9E6-12FC7AB90C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bad7c79490b3de45876778663776f761bcef44","datavalue":{"value":{"entity-type":"item","numeric-id":5690150,"id":"Q5690150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d041e4c1e8c0cbaca2185a028e265ea2d3c3a070","datavalue":{"value":{"amount":"+0.7681334614753723","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":"Q3178253$204CB333-D6EC-467B-97AF-9660BA0635B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178253"}}}}}