{"entities":{"Q4596799":{"pageid":6626384,"ns":120,"title":"Item:Q4596799","lastrevid":58293942,"modified":"2026-04-04T14:46:37Z","type":"item","id":"Q4596799","labels":{"en":{"language":"en","value":"Multiplicative-additive proof equivalence is \\textsf{logspace}-complete, via binary decision trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816941"}},"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":"Q4596799$FF37DBBD-DD1A-4C18-A3B7-C1FE31A7529B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1286d658c34b27eb6f87a02fb25edbd808d78770","datavalue":{"value":"1433.03145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$E8C38AE9-23A3-4C67-953F-46598A470D56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f447375f7feef4a9973b0ac01117fc5afa18856","datavalue":{"value":"10.23638/LMCS-13(4:20)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$DEDCEE56-A179-4EDB-B0B9-D55276141001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b702d58a23bad60a1dc653d66b6407d09f57ef32","datavalue":{"value":{"entity-type":"item","numeric-id":1744372,"id":"Q1744372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596799$522828DF-F8EC-44DC-B364-6853B5DF7632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596799$D39FAE2D-70C8-4C7B-B35E-6A6BB7C8FECA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bcc0abaec1bfd9922237f877edca55369dc0215","datavalue":{"value":"https://arxiv.org/abs/1707.00991","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596799$9141D1EC-4A25-4C55-BD37-8D2ADB115A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$01CF7B49-2295-486A-BD64-A72F67BC3C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$B2E63845-76EE-4050-8113-684C6DCC4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$50FF729E-5FAB-4D99-8118-B5DFD6BC1885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$06A77E1A-7C9C-4CF7-B285-4EC81AE7D82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c7d62cbcf229d157fbf4fb34bd881aa5d4b9ba","datavalue":{"value":"6816941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596799$BEA2E2E4-7D57-4A71-8C86-61E87EB574C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596799$49D0DB0F-4B76-4C69-AE49-A3A40077F5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379297ee29fedd66150deafb81f10b23784534bb","datavalue":{"value":"additive connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596799$F5537D3D-A3B8-4801-8E25-710D59AEA6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8887f0b40f002db7512c42e94b50e461b5ab67f","datavalue":{"value":"proofnets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596799$6742A630-D790-411D-B5E5-0D0742B692FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26aaf7f8d8e6b587c83ad964aae77e7cef8a2e7","datavalue":{"value":"proof equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596799$580D1F01-56AB-472B-8091-4A96A12BC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f18bc21d823222e01f5a88a6fb3d1663d7daa25","datavalue":{"value":"logarithmic space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596799$974669BF-1610-4A23-87C8-7BA438A4C89A","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":"Q4596799$2A7D3B7F-7B78-4A9B-A562-6B7E2D94FF00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bdedf1cda2143c57beeb8d1b88a0e70ba901ff","datavalue":{"value":{"entity-type":"item","numeric-id":5277831,"id":"Q5277831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785f9f8d21a643f05c576ee686583565dce0cdaa","datavalue":{"value":{"amount":"+0.9047749638557434","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":"Q4596799$95148A84-ED52-41B9-8686-EDF849C93268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1aad42a24b92c000dc027ca54e22ef95ba22706","datavalue":{"value":{"entity-type":"item","numeric-id":4635635,"id":"Q4635635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4592453c300dbbd227a86783af21968509e870c","datavalue":{"value":{"amount":"+0.8304557204246521","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":"Q4596799$DE7AF2F9-EEEB-4A28-86AB-12FD4F332C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b347c283dd8f5a000fb3586c1b55093b58c2d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2790165,"id":"Q2790165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d0df61c9675197bb2fb15a3dd2fdd3ea58dfff","datavalue":{"value":{"amount":"+0.8091014623641968","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":"Q4596799$0821BD57-E422-4F0F-BFCA-D1EB65E2A54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b8f9e5bce61899b2709e300ab31180b01c6a28","datavalue":{"value":{"amount":"+0.8032604455947876","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":"Q4596799$A2B19718-4704-47AE-AFDD-B458633C922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fa223e16ceb20256810e59b20ec6e5bc196df3","datavalue":{"value":{"amount":"+0.8013911247253418","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":"Q4596799$22045E03-AF1E-4F40-8D7D-DC5563AB4CF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596799"}}}}}