{"entities":{"Q2790165":{"pageid":2800903,"ns":120,"title":"Item:Q2790165","lastrevid":42019237,"modified":"2025-05-22T14:48:33Z","type":"item","id":"Q2790165","labels":{"en":{"language":"en","value":"Proof equivalence in MLL is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6549093"}},"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":"Q2790165$B821A22D-FEEC-4D28-AB25-2F9CE66D4DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dfa5b502542cfeb7315fcac91e247830372fcc3","datavalue":{"value":{"text":"Proof equivalence in MLL is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2790165$1B40F41A-1502-40F8-9262-B000F73B02C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fedd129b8a0fd1d6544adb524e6beb00ccd7121f","datavalue":{"value":"1448.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790165$95EC9CED-688F-4FC4-A5DE-A5037331020A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13564f71d525ba3fbb75754f5af6bc97b1cd1fe9","datavalue":{"value":"10.2168/LMCS-12(1:2)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790165$D713CD03-F48D-4115-BF3B-279F9F06B604","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3692c76e27dc49b695ca2d8a287922220322cfc","datavalue":{"value":{"entity-type":"item","numeric-id":636368,"id":"Q636368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790165$2E51E878-0930-483D-9949-C802CF151375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c6542070170b30afd53f0a372aae4a9fa2474d2","datavalue":{"value":{"entity-type":"item","numeric-id":2457283,"id":"Q2457283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790165$9873FD6B-1A80-45AA-9014-EB938B928171","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790165$920289BA-4728-4090-9208-79C0D04647DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d52204fed404bf2ed1b04cfddb1beafe0e3bd5a","datavalue":{"value":{"time":"+2016-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2790165$B7BD860F-3FAD-446E-BAA4-0EF4E30777CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790165$2E72DD85-AA0A-4867-B1C9-1064657480D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790165$148A3068-DA4E-4943-90DD-35BFE4B5AD2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c4acad229de004ba1d35ec606c8d20072cc461e","datavalue":{"value":"6549093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790165$9B33C167-93DF-4FAD-AF5B-2BDA5BC48B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790165$0E1B4153-2E8A-4B69-8DB3-2C3944EA286C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26aaf7f8d8e6b587c83ad964aae77e7cef8a2e7","datavalue":{"value":"proof equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790165$A9F33D86-9A04-4768-BFC0-7D971DFB1595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790165$EA07D96E-5AF8-42EB-9F5B-C011FCC91CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd4b884795afc437bd1c2b4ec8da1288c718395","datavalue":{"value":"constraint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790165$757FCC34-8BFC-43E0-BD17-67E02E65F617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790165$E254C3D0-A142-4A6C-BD1C-01CC91B0CF53","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":"Q2790165$EE1BFDEF-433D-47A7-927E-3DF699D0FC8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa1ddc89ecee292d26b37f99933664805fef3d07","datavalue":{"value":"https://doi.org/10.2168/lmcs-12(1:2)2016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2790165$9F461304-10BE-4CA1-942E-D0DCC0B52ADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85a28fc2db37c8f18db5664bbcf1e81f9082f771","datavalue":{"value":"W1800613700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790165$8A981A25-5B70-4016-97D8-52AEE24584FF","rank":"normal"}],"P1643":[{"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":"1423b3e445219134a411de84caaf859e356565f9","datavalue":{"value":{"amount":"+0.91403174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$C78B2EDD-3CD1-4B0C-8BC0-E2A2467DA8CE","rank":"normal"},{"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":"aecdaa9976a3e3873f59e686f9c3479ff6d3decd","datavalue":{"value":{"amount":"+0.87930036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$6C97252A-5040-4DC4-82F0-D9CA49F06088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cddc0a00981293d677558b94c1d8a5c63c9310b","datavalue":{"value":{"entity-type":"item","numeric-id":3426569,"id":"Q3426569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481bbfe78fe7018e9645066500caad56db8882e6","datavalue":{"value":{"amount":"+0.8513391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$92FEAFE6-2CA1-4752-B9E0-2047CF672D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf1151fc77619db8c3c1f0da8d8f8b09ad12c4f6","datavalue":{"value":{"entity-type":"item","numeric-id":1977423,"id":"Q1977423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2cea6c8ef10e64b6f3668f028f7dec2f57be13","datavalue":{"value":{"amount":"+0.84549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$4E647020-0127-4C8C-81CA-FC3C6DCDF806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95456894031bbf46a052e7603de641b2699d85c4","datavalue":{"value":{"entity-type":"item","numeric-id":1729826,"id":"Q1729826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfa6d4206dd3dd099069ddc2c2cd67af6fd5d17","datavalue":{"value":{"amount":"+0.8358707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$C39DB914-192D-4DB8-8073-1DCECBB90785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07715cf830ed83234de3f7deb847acc8fb7b17f","datavalue":{"value":{"entity-type":"item","numeric-id":3347269,"id":"Q3347269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55b11e3b6c901a217d03d97528aa3e2451f8b61","datavalue":{"value":{"amount":"+0.8355205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$F27CBC70-B0E0-442D-8D41-F9B4E41A886C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d70cdf3b30682ecb96981f028c2d601095f47f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613433,"id":"Q3613433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e60e54b89feaaf11058b43cc3c7e5a4b7aa1d9","datavalue":{"value":{"amount":"+0.83057475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$4CAAC37B-B074-46CC-939B-D06F07CD7F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecec105932c20944f86a6e32b439f685736e69b","datavalue":{"value":{"entity-type":"item","numeric-id":1917087,"id":"Q1917087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb57687a52a6f1dc53f02b479627a7935acbe59","datavalue":{"value":{"amount":"+0.83004665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$CD33C9E7-2C7A-423C-B670-874A77243694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ea6388c7a6eb11fbaca42ccc3d6eacbafc4e12","datavalue":{"value":{"entity-type":"item","numeric-id":3722494,"id":"Q3722494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea94ee598644ef741ba051ca9de21b3f08ee4c4","datavalue":{"value":{"amount":"+0.8298749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2790165$7BD36F74-1423-4E15-82B8-B1924CD81917","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2790165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2790165"}}}}}