{"entities":{"Q4635635":{"pageid":6665216,"ns":120,"title":"Item:Q4635635","lastrevid":58310913,"modified":"2026-04-04T16:22:38Z","type":"item","id":"Q4635635","labels":{"en":{"language":"en","value":"No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863108"}},"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":"Q4635635$1D47807A-8D60-4A47-BFA9-C9C116428B06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7c5623db7e3b262da632337e434407c5e5ba0c7","datavalue":{"value":{"text":"No proof nets for MLL with units","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635635$F7B87F3A-CD60-460D-A1B4-18052010F47E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13552bb84c115511a88f6f34c4f2a311b6719927","datavalue":{"value":"1395.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635635$67FD7656-00F1-492B-A49A-BD01EA348EF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb3db87561d26dbf02e1b92a5d3cd7f8711fbdf6","datavalue":{"value":"10.1145/2603088.2603126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635635$883889D6-B7DF-464F-8861-803EA25656A0","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":"Q4635635$18E0062A-57F7-47E3-8DE0-60E7E09ACC2E","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":"Q4635635$1F7DD28A-C67A-444E-88C5-3C7D98B19A01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635635$3F845F65-47A9-4319-A889-A3E9071EFC1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635635$EA16E3C3-45E8-4BAA-86CA-B93A6E4E9A6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d62a4982ce030f82f56ccd33675beef25c1ee1c1","datavalue":{"value":"https://arxiv.org/abs/1510.06178","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635635$A93602DB-37F7-46AD-BBD2-9EF4C971D6BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635635$92D9C3D6-56F7-45A7-9FFE-A8F30A545BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635635$786E68AF-506B-4FE1-9B18-F5A63D32A36F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"652665679bdf27c60a6ef43291666000ed746c4a","datavalue":{"value":"6863108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635635$4660CDF3-5CD4-46A5-B413-FFEF5C460E04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635635$21BB9583-D4E0-46EB-81E3-9133B7CB94E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd4b884795afc437bd1c2b4ec8da1288c718395","datavalue":{"value":"constraint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635635$94DF1558-9FD6-4681-9B4F-8CE346BAB93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635635$78B92F0D-516F-43C0-BC62-A533C0AFCD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26aaf7f8d8e6b587c83ad964aae77e7cef8a2e7","datavalue":{"value":"proof equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635635$A3A4CB8A-266B-48A5-85E9-407D743A6329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635635$2511F5E9-6CAA-46EF-85D3-E360A2C91F42","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":"Q4635635$32E0B3D7-D35A-44B3-8105-FE94B8D59D55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15c2502e989c2e9e913618d5f3ffd6b19d5b45ac","datavalue":{"value":"W2128713292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635635$347ECD28-8994-4CD6-9F28-0571D26EBC20","rank":"normal"}],"P1643":[{"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":"596eb06e98490dd9b414f6fef7685b61c5ea3a2f","datavalue":{"value":{"amount":"+0.970051109790802","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":"Q4635635$2E1E0ABD-C50A-4D78-856B-8F912F80DB2E","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":"e93a2ea5003ac06e32bb2bc8351f1778b8f95c85","datavalue":{"value":{"amount":"+0.8631043434143066","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":"Q4635635$65DA6EEE-AF57-4E62-9EA9-0BFAA5A96AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63069384de88e0eb46fece107ae2f2b3207e2824","datavalue":{"value":{"entity-type":"item","numeric-id":4596799,"id":"Q4596799"},"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":"Q4635635$5C1D3CD4-2941-45FF-A5FD-D75B05C38816","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":"a670e77d8d8a01463056a1275d2259a925ced489","datavalue":{"value":{"amount":"+0.8156998157501221","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":"Q4635635$7E958BBA-50D9-41FF-8D9B-C8C7EE387593","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":"9a018bfa2151e8196d2d6630352f481c049b6c62","datavalue":{"value":{"amount":"+0.8115152716636658","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":"Q4635635$2B8CC7D3-7E92-4DC3-ADC9-63E2543164AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635635"}}}}}