{"entities":{"Q4999464":{"pageid":7029041,"ns":120,"title":"Item:Q4999464","lastrevid":91846328,"modified":"2026-06-05T00:13:16Z","type":"item","id":"Q4999464","labels":{"en":{"language":"en","value":"One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368982"}},"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":"Q4999464$619DD6D7-CF5D-47D5-91D4-FE9E93381140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7329e7eddbbeb4e092977d4ce8fa7459fec8dcc7","datavalue":{"value":{"text":"One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4999464$E4D5F8E6-D752-4E25-8BF2-F84D1F976F02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e9acba76d58b5cfcdcb1512d0d2414dce459a6a","datavalue":{"value":"10.18778/0138-0680.2020.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999464$E539A7C6-A677-4CE8-9A89-3E33023EB04B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c9ce6e8217e034c8a6545e72391441777efb16d","datavalue":{"value":{"entity-type":"item","numeric-id":4999463,"id":"Q4999463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$655682F5-6C90-41A5-BA7A-1E23D28D5F59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$35F1E952-E187-4DF0-B221-CCF6B238DF6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1b07861f0a8f55d609d0c858d9f681c9c0e6b5b","datavalue":{"value":{"time":"+2021-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4999464$46D60946-2A0D-44D5-B4B9-91BA28340F79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999464$8A673C50-3086-400A-B5E4-AB4B45346C9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"899e772c387a92d33e7c97298a96369367e3b47e","datavalue":{"value":"7368982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999464$20DC2AFF-BED2-4116-8522-6C5771E7B3A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999464$EC70FF63-0DCD-42A5-B630-4339E93A324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999464$D82E4B50-3B2A-4741-B34F-4EA22AB00594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc03eef75b281e869374106d8a22bc9ef8658181","datavalue":{"value":"nonassociative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999464$9497FBCD-5D62-450B-88AB-C2CC1ADADC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999464$396F2EDE-F8A4-4FF2-8B12-F3C3CC3A6CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbc5b7f56232f2630ec7b07fb855fb810875c7b","datavalue":{"value":"PTime complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999464$178015CB-F3D8-4C02-8C89-EDBF6EC6B57D","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":"Q4999464$324E7C1A-A6C6-4AC0-A568-EEA79108196D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc6aa228ac7655e72a5ab678054d50ffc94db6b8","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2020.25","type":"string"},"datatype":"url"},"type":"statement","id":"Q4999464$EA72C1A2-F197-4ECE-A2E7-42D08433E20A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f6202539fa15ae45d29011440cf9af57af4e7d8","datavalue":{"value":"W3101938764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999464$4652544F-76C9-454F-9EE9-315FEFE3D767","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$D6D927AD-1817-4AB4-890A-C3548350F9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6951add7b713fc48f54ddb5e2622ffaac86bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2963995,"id":"Q2963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$72E5CB01-B6DF-4A99-AA04-2FC3C70F2B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af3cef7c34859f80e76eadfd3c25778992dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$A573E8C6-3EB8-44E5-97E1-30F6FE190AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220b7352b10bcbac778b36ed177ae53ec8cb46a","datavalue":{"value":{"entity-type":"item","numeric-id":1850952,"id":"Q1850952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$B18D4273-27EF-43A0-B410-83DB70EE4994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$961D5A51-A74A-4E43-9215-6C942486C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$69A50341-C49A-43D0-AD26-1DEFF1A76F79","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":"Q4999464$548F6860-4C4D-4EBD-90C3-2DE9430BC27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf627f9bea2670e555e81570d7d63865bb5c04cb","datavalue":{"value":{"entity-type":"item","numeric-id":3846669,"id":"Q3846669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$391BB279-B4DA-431F-9991-E3E2325A1288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472dc9372bb0dd59c93566504c1379a2c88d3bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4327830,"id":"Q4327830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$D887C34C-08C8-4565-9C4A-5F12BC2CE7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$55A368FF-040B-4641-A675-1BBD7EFE8C21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feffa1891c6addc8d8b48397869385ce1c66191c","datavalue":{"value":{"entity-type":"item","numeric-id":4434501,"id":"Q4434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6528161455b3c372a6143dee2f5a963a2f0d524","datavalue":{"value":{"amount":"+0.8292221426963806","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":"Q4999464$F9A3223C-6C51-4848-90A2-EBAEB6CB53ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bfa494637aa4729afb89610850cf8b75def97e","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7562f99fac5ca85d5e01b0097b89277e337109","datavalue":{"value":{"amount":"+0.8291768431663513","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":"Q4999464$0E105C0E-FBFF-4FE0-A31B-0BAC8900FDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9d2696e1f31a0e1464593f59c0b0b850cd43a7","datavalue":{"value":{"entity-type":"item","numeric-id":4327830,"id":"Q4327830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7669edf426b6540e4a1e7fe671193e9ae1426bb","datavalue":{"value":{"amount":"+0.7874181270599365","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":"Q4999464$77DC46EA-5EDA-485F-93AB-32A0906C34F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946729c869a41d7b87c7fd8924dd9525e926abff","datavalue":{"value":{"amount":"+0.7826358079910278","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":"Q4999464$8D961D88-165F-47CB-9800-8524B07974FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e43d0efac3737ae734aadee2758433e086ebdd1","datavalue":{"value":{"entity-type":"item","numeric-id":2425321,"id":"Q2425321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd025887ef2eebaf875295fc9c8706175d0a6b3","datavalue":{"value":{"amount":"+0.7805291414260864","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":"Q4999464$04767FBC-7574-4E85-BEA7-32F8DEDDC095","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999464$27FA64F0-F78F-4940-8B23-6E96A05647D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity","badges":[]}}}}}