{"entities":{"Q2870318":{"pageid":2881038,"ns":120,"title":"Item:Q2870318","lastrevid":51906803,"modified":"2026-01-20T12:42:46Z","type":"item","id":"Q2870318","labels":{"en":{"language":"en","value":"Rewritings for polarized multiplicative and exponential proof structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247701"}},"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":"Q2870318$7CAEE027-CC5F-4FF1-8479-9F75C10ABCD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe2ce655d18a1c5f0c3708869da0e9aa33f01017","datavalue":{"value":"1279.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$5E3BCB1B-D3A4-4529-AC6B-E2CB4E54443A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f72a50a520d3a5f97e96f0332ad63fdd7fec33e","datavalue":{"value":{"entity-type":"item","numeric-id":280842,"id":"Q280842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$0C4BB611-A2A1-4DF2-B8E9-125C9D039055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aa8aa348b70dd1f1e673f0f3d530db08b0ea8dd","datavalue":{"value":{"entity-type":"item","numeric-id":236817,"id":"Q236817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$C02F3D96-57B6-497A-A62C-9511308DDC45","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":"Q2870318$03EDC80C-BF23-4B8C-9114-94A9325D51C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870318$3C922D53-C6EF-4FBD-A9A5-B67B94816D17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$67BA7C55-BE17-4EDF-9097-F4748413A7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$4B230B44-AB4D-48C2-ADC6-0489ACB10F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$AD1E4962-F564-4AB7-8755-2D892CAC601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$A1F67E1A-FB4D-4B25-B35F-61167B000841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b99370726304df60b06ab8661478bc023ba62c11","datavalue":{"value":"6247701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$E2C558DF-1D5A-4AF3-A16A-7922E2EA25DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870318$0869EFFB-ABAE-4044-9711-DA76FA3A1DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870318$6ED174E4-6C46-4FD6-8D78-F1D62EA725E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870318$710605E2-F510-4F9E-B6D0-B35DAB10EEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dd2f12d34d2308fce7c69eeaa6c2748836100c","datavalue":{"value":"focalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870318$8197227D-0966-4B39-A6E5-D27EDF444EBC","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":"Q2870318$A434FB44-11EB-45AC-BC3E-4098BF02B496","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e2166f0fedc23570025b225a2017b5bf6fc9010","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870318$64DEA8BA-B9A8-4AEE-BB07-49A7E658C336","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d74dbd6e5297b7c517443ff43cd067a90c5da6","datavalue":{"value":"W2001663428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$08763BCB-182E-4DC4-9FD3-8A61186D73C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$ABFD172E-CB99-46C3-A4DA-047BB6BE5EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$448E4F10-82C1-4517-A422-1B7045FB34F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c4c7f08c586ee3bafd568d28ab6d3b8e7c763c","datavalue":{"value":{"entity-type":"item","numeric-id":4809081,"id":"Q4809081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$F88D9BAE-5672-4079-9F0F-F65CB885160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa412a0f211633fdf32f0921966c7ff6b7556f2","datavalue":{"value":{"entity-type":"item","numeric-id":5292622,"id":"Q5292622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$1B00C5A0-D877-408E-B246-6731AE442901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1b4d5caee1ab4d477903553f68d589ddfd9931","datavalue":{"value":{"entity-type":"item","numeric-id":5466467,"id":"Q5466467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$082D4BF1-DB89-4042-B841-326805A2ADE6","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":"Q2870318$F123827A-687D-4397-90D8-C45CFD66BB04","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":"Q2870318$98917DAD-3503-42DF-B473-5574C83A2E5E","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":"Q2870318$E70EA6FB-7A5D-40B8-9115-8A09A6AE3A5F","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":"Q2870318$80D438E6-7175-4D78-AB19-5F3E72F1AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f680e25f7931f8bbf262cfd342d830b4799942","datavalue":{"value":{"entity-type":"item","numeric-id":2570132,"id":"Q2570132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870318$7E15319D-224C-4A59-8187-1A64B73C315D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0d33561b5408407926b31d91ba671d838f184ef","datavalue":{"value":"10.1016/J.ENTCS.2008.03.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870318$1DC9A344-5A12-4769-B86E-81AE00324E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1af94cc6029523107ff9f7680940d9fc31fc128","datavalue":{"value":{"text":"Rewritings for polarized multiplicative and exponential proof structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870318$8C1587F0-101A-4515-B9AA-C530E71D8113","rank":"normal"}],"P1643":[{"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":"2a111b14b819b60b9fd1bea3b5328942d095ff5f","datavalue":{"value":{"amount":"+0.8109171390533447","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":"Q2870318$7762728C-F304-4581-8B6A-B58A45CF06ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8769e261c5825650fbe726c0626f3ef75cb68a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236199,"id":"Q4236199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b79e46b08307cb57a17392604bd8fec0ab98f8","datavalue":{"value":{"amount":"+0.8003817796707153","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":"Q2870318$F87D8476-598B-487D-8051-8EAB2D090934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4459a670fc9de0c839f1a1636303e8bebb2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b230642bfda4e7f1feec28ccc6530d2d84958be","datavalue":{"value":{"amount":"+0.7983166575431824","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":"Q2870318$B13AD60A-5427-4D1D-9B64-29757D5F6396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b935628fa2f10cb1b66bae6a461af70a8c7a8cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e7e43ff072e02ed8a082fc129f44c67c274773","datavalue":{"value":{"amount":"+0.7958181500434875","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":"Q2870318$EDF1DC10-BD53-4217-BC3F-12B6B87B72BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c296e284c341a787d02fb7456570fa19e43dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3608429,"id":"Q3608429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bbd86438099cef0740489ca8a232a2f8a24b47","datavalue":{"value":{"amount":"+0.7914072871208191","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":"Q2870318$3C5BDB2D-E4FB-4E68-96F4-64693778FFDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870318"}}}}}