{"entities":{"Q5111313":{"pageid":7140887,"ns":120,"title":"Item:Q5111313","lastrevid":46185325,"modified":"2025-12-24T00:10:43Z","type":"item","id":"Q5111313","labels":{"en":{"language":"en","value":"Is the Optimal Implementation Inefficient? Elementarily Not"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204436"}},"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":"Q5111313$C9542FE2-4249-47EA-B921-8F042B360050","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3630de04e214847f0b7aa428589b5fbaa13b0ec","datavalue":{"value":"1434.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$C26BFA41-C3EE-4C69-A46A-C703B4AAD90B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57ec7777394edf0cc9d9127e14eede301bda326","datavalue":{"value":{"entity-type":"item","numeric-id":4637627,"id":"Q4637627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$10EC5B15-EEC7-4383-AD7E-1EAB0F1CB4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$D4A3632E-E873-48E2-A656-814F5E0EB0DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111313$0A0D1A8E-FA14-4377-9AC2-50B8F141802F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$4F50717C-8992-40C1-B230-F4E395FC96C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$B6AD33AA-726E-4209-8E77-535450EEF057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$84B3435E-30E5-46A2-82FC-EA67DAE449D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$20458FFD-2463-4CC8-BFFF-52F174F14CA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62ebb4e8b710df1dc1e2db0a89fc32506a28a796","datavalue":{"value":"7204436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$ADDAAA81-0E59-42B6-AA3B-03D49EEAB6EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eee9f8cac159f4b604f03b13d7394d565afb59c","datavalue":{"value":"optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111313$5205C40D-1346-457F-AF09-14617D420900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117eb370679e5f6fa8c0baf376ecf934defd08ff","datavalue":{"value":"sharing graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111313$047270E1-F7E2-44E6-B6B2-D56530E62CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111313$7D390113-CE7D-417F-8D50-4CB55CE3CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111313$F8039F71-1E70-41A2-8B6E-2F5BFF5B3FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111313$5053C1E9-1572-4C18-8288-921CD97E2A13","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":"Q5111313$C438744C-8DB6-4C98-9D98-590EDCB36701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5904899e7c578b11a6ff6b671b85fea94b76d7","datavalue":{"value":{"entity-type":"item","numeric-id":1881231,"id":"Q1881231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$30E93566-84DB-4F04-AB7A-96EC47F1C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477498c9b0f4eb04e17b21d45cc402bd00036414","datavalue":{"value":{"entity-type":"item","numeric-id":4339015,"id":"Q4339015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$6837E5AA-9FE6-4521-B821-4675668484C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$6761A47F-900C-4479-A70D-02C313977504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e64e7f5fe92efa0481f27c6c5b93daeafac49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$B1ABAFF5-54D1-44AB-9856-8A2D6595D031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$000F5383-C837-49F2-A805-506DE219D051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94da5de8248cfab31c9af0e679cd217e6349bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":627123,"id":"Q627123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$2B67A918-0087-4CC8-B080-7B3C19D82CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d083a148d79ce2173cc5e1395b43bacc6f79831b","datavalue":{"value":{"entity-type":"item","numeric-id":2946582,"id":"Q2946582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$577EF519-6CA6-42F9-98B0-4C8A49ABCD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$A4ABB2C5-B433-43E9-8282-2F802D60C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75889458cfdd49fc95c0cae5eaab3e9767bc37a0","datavalue":{"value":{"entity-type":"item","numeric-id":3638093,"id":"Q3638093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$642801E8-0B95-4D2D-B307-D8FC7B746756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$647E6FC1-1264-46BA-B8AA-F41AB2B36776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$2D4C2B99-A225-4C4A-9826-99407EE84423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07fc8f0758df4146e9b51ee62e13ce80b600eb25","datavalue":{"value":{"entity-type":"item","numeric-id":4942005,"id":"Q4942005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$8A4076B1-113A-4E55-9333-8F8B28469C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4369396e7b238d804ee0b38858b9a8e4e865b170","datavalue":{"value":{"entity-type":"item","numeric-id":1398472,"id":"Q1398472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$84B0B1D9-640B-4114-9689-015CCDE12F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a633e84f28e974524d6f21199618016457237af","datavalue":{"value":{"entity-type":"item","numeric-id":4828516,"id":"Q4828516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$8DF67B53-28F2-4215-92B6-257D8288FFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace06db1892d761ccecefca66e1592cc981c11","datavalue":{"value":{"entity-type":"item","numeric-id":3625516,"id":"Q3625516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$42C887AB-60CA-49D6-987A-D4F3739BA82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111313$833DE8AA-4DA3-413D-B1FC-C8B200AA725E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a86a84f2451a58c9fe3684704fd8c192aa5be490","datavalue":{"value":"https://hal.inria.fr/hal-01644123","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111313$116352BE-BFBC-449A-84A5-973FFFB3E06F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf3945e4b71fae66aa68e16bfa8f33a9fb558dd1","datavalue":{"value":"W2759159410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$BABABD92-9EB6-473E-A402-DDE58C9A53A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe156653ccdc1731b8aca1bef6c3125e8687b475","datavalue":{"value":{"text":"Is the Optimal Implementation Inefficient? Elementarily Not","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111313$F8737E7C-47FB-4A80-80FD-BF2EC48EF0ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cbbd12d8cabd42b96560facf277734d9400baf1","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111313$D7C1587C-5D98-4D1A-8DA0-AD7F4DE80055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f54781337591b5083a1d2a3ac156773821e0616","datavalue":{"value":{"entity-type":"item","numeric-id":1575875,"id":"Q1575875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f3e09afe6cf79c697db6eec98be643850ecbdc","datavalue":{"value":{"amount":"+0.86067134141922","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":"Q5111313$048A024B-04C9-4872-97C1-ADBE346234CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca06367c5b2acfa65c184ebc2aefdb97dd93a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686903f93ca46f374fcea11c43f39059943cc9be","datavalue":{"value":{"amount":"+0.8379619717597961","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":"Q5111313$BAB8E192-A6F3-4B52-AD69-670BB0BB77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57790b96fcf862ef267332e050f33ce06fc4c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":2848122,"id":"Q2848122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad87047059655ab9087e3235cd7e3bce9511da18","datavalue":{"value":{"amount":"+0.8316801190376282","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":"Q5111313$390967BB-B230-49C0-9CE9-092EA0D8E87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1639131882be81585dc69fe3f1251a1664a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4511323,"id":"Q4511323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1876837c0f2d0218a24c4ef06bf1a2b43176655b","datavalue":{"value":{"amount":"+0.8251109719276428","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":"Q5111313$B19EF8ED-C106-4D0B-82D0-49C18927D94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825846bfe5a146f101ca9569da29a999401019f9","datavalue":{"value":{"entity-type":"item","numeric-id":4571958,"id":"Q4571958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84833a5e6126c8f38aea5924a8b0c785ad572e6","datavalue":{"value":{"amount":"+0.7971482872962952","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":"Q5111313$2D43C3F0-8674-4FFD-9B0F-772BD2EDA506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111313"}}}}}