{"entities":{"Q1575867":{"pageid":1586607,"ns":120,"title":"Item:Q1575867","lastrevid":67908972,"modified":"2026-04-12T20:08:59Z","type":"item","id":"Q1575867","labels":{"en":{"language":"en","value":"Optimization complexity of linear logic proof games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495161"}},"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":"Q1575867$615B650A-E917-45E9-B0DC-CEF4F3F4BBE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e4c5b65dc900cee1b77f7dd3b54695bf23436bd","datavalue":{"value":{"text":"Optimization complexity of linear logic proof games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575867$A9EBBB4F-B939-49EB-A5F7-E62B5E25BDB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b01185055265c49c984b20ac5fa79dfdeeaf4b69","datavalue":{"value":"0951.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575867$64AEA3AA-8D69-4852-A7CA-627FFAB25635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eecb433e63008fedc4e69248f4b340260b17dd68","datavalue":{"value":"10.1016/S0304-3975(99)00057-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575867$0780D427-DB8E-4DB9-8E82-2A388D2EBFCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0bbdada3c9be42b370691f727810aaafa99222","datavalue":{"value":{"entity-type":"item","numeric-id":1575866,"id":"Q1575866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575867$8E2357E4-713A-44B9-AE7B-36B5A1675E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575867$D2C6C9EC-377F-4190-B1DF-83CC6D36CE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575867$0F48C33C-DB4A-4204-A79D-67DDE60803ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575867$E001F994-9E25-45FA-8094-7FB2132F4552","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-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":"Q1575867$09127309-270D-4F22-A781-4B847637EDC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575867$21F69DCA-7394-4AA4-8EE8-E0C6A1B11E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575867$6F5A254D-6A15-4333-BCA7-D4170B544A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575867$DD24AD5A-69AA-416B-8F45-79D08CD56CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62e416021d014f1a333bc1fa475ceb3b33ebd1fd","datavalue":{"value":"1495161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575867$183B9779-11F7-41BB-ABFC-E04E02BBE238","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc98e054a643fdcc1b9975b239b1c0270519b5c","datavalue":{"value":"linear logic proof games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575867$29182E59-BE71-49AC-9D47-43637331D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7612be44175841db287ced67c793b9d7a90302","datavalue":{"value":"multiplicative fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575867$FF27626D-FF20-4450-80DE-E18491388AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f9d317af9abeb6bc1afbdf69b96c07f4a98f7d","datavalue":{"value":"multiplicative additive fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575867$847B7657-56B0-4A46-A779-7B4C5E0E1C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d888501111a4b1a04d79a209980511d55ad8e4","datavalue":{"value":"propositional linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575867$DD8A67B3-657D-4ED9-B091-C6030DB39FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575867$3B165610-1D93-40C3-B40E-6043BC431EE5","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":"Q1575867$4A2F1F65-5161-45ED-8588-CACD88651796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b92e0c5e37d8649b02e898e82086aff0c3e28a","datavalue":{"value":{"entity-type":"item","numeric-id":4222837,"id":"Q4222837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f7a2db9095df045a762c6ccf147b5a99ae06b2","datavalue":{"value":{"amount":"+0.8823035955429077","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":"Q1575867$26914626-37FE-4A0A-B09F-267E2A216746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534e23771cd9be1a4266e48a1bc939dad4bae5e4","datavalue":{"value":{"entity-type":"item","numeric-id":5689264,"id":"Q5689264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ca21d1e629ffb81009d3560923d192ede2afc9","datavalue":{"value":{"amount":"+0.8604106903076172","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":"Q1575867$7C6EB8A4-342A-49AA-BFB6-B705588B281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612009c50b8ca7483779822191c877b6fdb39692","datavalue":{"value":{"entity-type":"item","numeric-id":4842540,"id":"Q4842540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c64d0a4c01c303e9775f01be4a96649c4a9533","datavalue":{"value":{"amount":"+0.7786411046981812","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":"Q1575867$FFC32A94-DC3E-4B82-AFB7-FE28724318F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc67cda1f79c44cf3f8fcb7dd83a782a24a0b10","datavalue":{"value":{"amount":"+0.7677698731422424","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":"Q1575867$69BD88A6-ABF7-4D73-8689-9DECE05956B5","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":"a82a3200792427828c7c9ca8bdb3712fe0454f41","datavalue":{"value":{"amount":"+0.7480452656745911","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":"Q1575867$06405EEE-AAD2-407B-88BF-9E32E423ABDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimization complexity of linear logic proof games","badges":[]}}}}}