{"entities":{"Q5014804":{"pageid":7044381,"ns":120,"title":"Item:Q5014804","lastrevid":58391610,"modified":"2026-04-05T00:36:45Z","type":"item","id":"Q5014804","labels":{"en":{"language":"en","value":"Proof diagrams for multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441263"}},"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":"Q5014804$621E8215-1C2E-406C-BA17-5D212984F16A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1a102d3d20ba42d1a20d5195ce1bf0d8318c5b4","datavalue":{"value":"1486.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014804$712E0D6D-B45A-4B46-BAA2-8C9B79985766","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$E7494592-963C-4E1B-8973-7BA24E8E076A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-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":"Q5014804$78D81A16-FA18-45BE-A41F-57485B643110","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c0ec29f6cfd11ab36cdb9307d815081e717b36d","datavalue":{"value":"https://arxiv.org/abs/1606.09016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014804$5C1EFE9B-9432-48AC-BEE8-7E0BDB27A3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cf62e54076c24c788831e0b6d57091f43717d3c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2016.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014804$596112F7-3E07-4FA4-B6E9-CD3261B4729A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014804$A392C5F5-EE2D-4546-A7EC-95B88C1FB9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014804$BBD5BBA2-99D6-450C-907C-BAC4C1B350F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014804$118FAC6A-FBE4-4490-9917-4632286EEDB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7036c281b7b1577fa0aeb83e57c21037747a907","datavalue":{"value":"7441263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014804$D1C0B3FB-E2F1-4E96-8D42-F7DE988D482A","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":"Q5014804$C0640D61-4296-468D-A39D-5B12B3B41D09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"057ffac44e603b6a76956072afeb10d8a063300c","datavalue":{"value":{"entity-type":"item","numeric-id":3100017,"id":"Q3100017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$02ED94AC-EA7D-4194-BF1C-C2CD5AF9A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cef53c7037b1a86f6623b7127f9ba782e8f7644","datavalue":{"value":{"entity-type":"item","numeric-id":685405,"id":"Q685405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$8870F56A-289F-45DF-B37F-0FBBFA5E5559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$279C2DEC-6184-448C-ABE4-EB6009836821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$FD6F1063-03C2-4D0D-A82A-C60F385BDFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$A45DA6F8-A923-4C46-B5BE-BA61A71C2FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2e18d1df9fdf7c997855f23fd7e29219c01e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$E8764959-319A-4A16-8FBE-8C3A05DDD93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c0748c13848cb4c16aa9f2659903e2bcc2f369","datavalue":{"value":{"entity-type":"item","numeric-id":3646431,"id":"Q3646431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$BBA32DA7-1511-405A-BAF2-E512BF31079C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a221be14e9bdd455f06ee8c6dd95839717db94","datavalue":{"value":{"entity-type":"item","numeric-id":4635635,"id":"Q4635635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$FFBF6D5E-A2CE-453D-8DEE-32F17EA5137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfde786fc8fe19926ca22a9fbfa07f01ac5a247b","datavalue":{"value":{"entity-type":"item","numeric-id":3473530,"id":"Q3473530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$8A99FE83-C593-4DF9-B61B-2BF923487257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$6A1480FF-6172-4CC5-BD77-D308F8A04649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f253e8d1647a719f4cd686675c398f8b0fa269e2","datavalue":{"value":{"entity-type":"item","numeric-id":1410965,"id":"Q1410965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$A2219B0B-4B71-44F3-A175-0AF5240CF15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c91947d55815a54792983bdbd8e3a81e6d71f8","datavalue":{"value":{"entity-type":"item","numeric-id":1342254,"id":"Q1342254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$639A09C8-C7F0-46AE-BBCB-17123FFCD2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$9CD852FC-677E-4AD2-B70C-1EDCD9C699EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$AB15D2BE-842F-4EF0-8173-199737A362AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014804$BE9C44CD-0DCF-45B8-8A53-D4DB9FF405F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03e66530d09c928f6a1979ebc16e7e0540c8f92","datavalue":{"value":{"entity-type":"item","numeric-id":2331072,"id":"Q2331072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3787ca477648e2db9c9a75983aaaabe38400d3a5","datavalue":{"value":{"amount":"+0.9285016655921936","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":"Q5014804$945FAAA3-B76E-4160-B735-081B0E3292C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7cb096a1e757ce92d19274f3992205425d700c","datavalue":{"value":{"amount":"+0.8111410140991211","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":"Q5014804$6F4BDEC5-BB51-4BB9-B369-1342E5BB5479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d2d043fcf094ecfbe87bc60d647b78fbff6c7f","datavalue":{"value":{"amount":"+0.8094644546508789","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":"Q5014804$237E87EE-7BD5-411F-B3E2-DD483E5693EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b884d605bb5a85adadcd73bca8423354979e663","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f5b307b9e6a02207ce0875b79a908f2b3bbc85","datavalue":{"value":{"amount":"+0.8080867528915405","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":"Q5014804$3FEECE85-AA77-43F9-8D6A-E0A14E9A49D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26e61656a53c91cb36beee69a3636a9d96c924e","datavalue":{"value":{"entity-type":"item","numeric-id":3498480,"id":"Q3498480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778e77476ce236e16d215dfb4bc02b84cae45605","datavalue":{"value":{"amount":"+0.8073717951774597","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":"Q5014804$BD27771F-C63F-4EF9-A8DA-06164ECE59F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014804"}}}}}