{"entities":{"Q5277779":{"pageid":7307354,"ns":120,"title":"Item:Q5277779","lastrevid":94658801,"modified":"2026-06-05T07:23:06Z","type":"item","id":"Q5277779","labels":{"en":{"language":"en","value":"PELCR: parallel environment for optimal lambda-calculus reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744022"}},"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":"Q5277779$0C29B6E2-7A5F-4E1A-AF17-271D86448664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8d7c897817d9f30f5c98d16871f34f1c62f64f6","datavalue":{"value":{"text":"PELCR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277779$5B5D417D-D91C-46E4-A5B7-013F83318087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7095c35d1c1e448c39e582a53eaa4e51a1d9d28b","datavalue":{"value":"1367.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$57E8D5B4-315C-46A5-83EE-E387650B9B8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92fd09913a04b46d07cf6dfb1eca34146282c93f","datavalue":{"value":"10.1145/1243996.1243997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$5E1C5A33-CA9C-456B-A924-A98AA0922AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11b0d102f7dd2c46cb653b521330e366b32d3327","datavalue":{"value":{"entity-type":"item","numeric-id":171916,"id":"Q171916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277779$84BF586E-4072-4D71-9EBA-68A7AC426F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5039260c6da03a46c13548e25e70c7abbe033884","datavalue":{"value":{"entity-type":"item","numeric-id":331550,"id":"Q331550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277779$6D443EA1-0455-41EA-B106-9B02725EBD53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277779$6F6CDE5A-7EF1-459B-8EBD-E1E87CEC724F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277779$95007F60-F4BF-4D50-A99D-5D14F0475191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$984549A4-96DA-46D3-BB9B-41B139232172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$7C6285FE-A594-49A5-9962-41ECC46B62B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$086EA1B4-C8E1-41A0-8255-91F424182D0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72a78fcd348cd8cb96b21b2dbf82685d51bee4ac","datavalue":{"value":"6744022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$78CC968C-DA94-4B43-B120-E456E62495BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277779$3DBA7572-268C-4D84-805A-100659998887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277779$7F3621D5-CE57-4ABF-9E59-9D6966AC1668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277779$7FD22081-A6D8-4C63-91C6-DE84180C32D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397f0fcfe559cfe37f2292b68dfe99c79c811e52","datavalue":{"value":"optimal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277779$7C2FCB2D-B547-4743-924B-BEC443EE5F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99b53d2990c18cb9820ef68c629dd6d8432e42b4","datavalue":{"value":"parallel implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277779$27E6F7D3-6627-4DC0-B752-8B4365AF9623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98d612487e4a08ac5f759da57d3b1e470c9eb1e","datavalue":{"value":"virtual reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277779$10111A56-310A-4BCC-B51A-FADF02F6D8E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a43b2ee40b58f3072907f837ee0f540e8260ccf","datavalue":{"value":{"entity-type":"item","numeric-id":32656,"id":"Q32656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277779$E9F08DF5-1DC8-4D08-9727-947427096BA5","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":"Q5277779$7B598829-C868-438A-9725-1A10C98F3701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8985b6a81dd2f29c3efa872a9ebcfb6ae3fb95c9","datavalue":{"value":"https://doi.org/10.1145/1243996.1243997","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277779$B6386ACD-396C-4579-829B-0C13BA06D805","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"890212592be6795839f207a01f0557edf5909b6c","datavalue":{"value":"W1983303046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277779$C8D1FAC0-0147-4C8A-B845-37EC9EB51149","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0632473559ddcabad218fb755634a7833342c3","datavalue":{"value":{"entity-type":"item","numeric-id":4813120,"id":"Q4813120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bde79ef0b4fe85456dca7abe07c88b271a0a1ab","datavalue":{"value":{"amount":"+0.8451306819915771","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":"Q5277779$2EAE0A34-AFF1-4654-A4F6-40F85D8F925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7487add3676125af89023b7b660f6f230c62defd","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7e74dea026163e7acf56d737940b67916f7b78","datavalue":{"value":{"amount":"+0.7983958125114441","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":"Q5277779$6B58258E-977A-4FF3-96B7-2A7E4ED0FDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78b2b3339155aaf1aa61850a093304bfa048a16","datavalue":{"value":{"entity-type":"item","numeric-id":2851711,"id":"Q2851711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c9280819439cab7290c9305c5b9101ddd5daf1","datavalue":{"value":{"amount":"+0.7836899161338806","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":"Q5277779$1BAE4CDB-33FB-4A80-B270-320C0561D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902661f385e7d94261ef29c3b8c45a866771e54","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e7d54e87983cc382966ab7d2e40af8d5689fa2","datavalue":{"value":{"amount":"+0.7628058791160583","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":"Q5277779$FB02BA39-D5F9-4345-B778-47520F2A4434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ac45a45ffc79afd24ee209f7d83a8e3fa50480","datavalue":{"value":{"entity-type":"item","numeric-id":3813282,"id":"Q3813282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170efdd436e3c69635b72e3f9e1993337d58e9b2","datavalue":{"value":{"amount":"+0.7573575377464294","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":"Q5277779$895E29CD-8252-4FFF-8C6B-E93AC0B2F339","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PELCR: parallel environment for optimal lambda-calculus reduction","badges":[]}}}}}