{"entities":{"Q2819700":{"pageid":2830438,"ns":120,"title":"Item:Q2819700","lastrevid":58008114,"modified":"2026-04-03T10:39:43Z","type":"item","id":"Q2819700","labels":{"en":{"language":"en","value":"Distilling abstract machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631205"}},"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":"Q2819700$9E69EDFE-B15A-407A-9F16-978C6E7E67C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adc84753af5d1ffc7c688e250f31e3e89bdc85e2","datavalue":{"value":{"text":"Distilling abstract machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819700$9F9A1489-72E0-4AFF-AA26-98E77DC6E888","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51b0859379f86cb20ea1c817250a711e48fa3a1f","datavalue":{"value":"1345.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$C1AE2EF5-25FE-4568-81F0-76236B97CF9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a21122c9d9182f294f1ea42e40dde718cd1a310","datavalue":{"value":"10.1145/2628136.2628154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$36ACEC0D-430C-47F9-A409-04FD90AAB574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819700$5408DCEB-FEA1-4F09-8C1A-02DB2E31813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d753e681db51bb5163d35cc60b3a5ce6d828a892","datavalue":{"value":{"entity-type":"item","numeric-id":2037947,"id":"Q2037947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819700$37C214C1-8F54-4743-9053-78F1F2F9EDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a303dc6c6ba96a46337e1d0e93092448decb04b","datavalue":{"value":{"entity-type":"item","numeric-id":1044840,"id":"Q1044840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819700$B4778E97-51C0-40E5-8A1D-F9FA711667B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819700$96B308EC-404F-4199-B65A-1008F6C22E53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819700$9A13B7D6-22FA-4343-B884-48E62FC165AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5746ab0a4ae413d12317b4a171e43563a722be14","datavalue":{"value":"https://arxiv.org/abs/1406.2370","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819700$66D7120E-6F56-47D2-B118-D3AF4BDAF7EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$08E73B85-C035-4842-845B-DA56C05E9BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$06CA848B-9C60-4B55-8AE5-E49AA8F7ED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$92E5099A-F980-4C03-9E9D-C8B24BCE41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$0C2297A8-3EF1-4F74-87F0-0BC75622B52F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab41aa6ecba19563390a8884111dcf6f466066bb","datavalue":{"value":"6631205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$3CF5752C-011A-46D8-8ADD-81A7D199B439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819700$436D1A15-8E9D-493C-B162-2D4DCD2354FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819700$7ACA0B73-1636-4819-AF2B-29F69BD6062A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819700$DAE78CDF-6126-412E-8495-395766441542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819700$117EAE48-688C-4A52-B882-030512C5310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c6ed5e47d27eb6a2981715c81b779d5d519b6e","datavalue":{"value":"linear head reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819700$7C809B27-0A43-4510-9A65-1E858B1AFD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819700$7D76E461-6120-4C12-8C85-B47898D84134","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":"Q2819700$A286F8AF-DB17-4B41-993A-060D78584FAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfe1e0a28768abc522b38e82088e3b07d6422725","datavalue":{"value":"W2024902159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819700$4CB967F3-6F89-49C7-9CD1-B34BAE75F881","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457aac56ad7d28e16dcdb5e360748b86e035a61b","datavalue":{"value":{"entity-type":"item","numeric-id":5176929,"id":"Q5176929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c159b9fe203bb3be1a46eec3c50adcc73e34e0f8","datavalue":{"value":{"amount":"+0.91463923","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":"Q2819700$740751A9-16FD-4016-9130-5BD48F0EA3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446613962c25e7551415765ca0c45ef7be90815","datavalue":{"value":{"entity-type":"item","numeric-id":3165529,"id":"Q3165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5ec5806be438a0b7b1131e6f34d8563452eafd","datavalue":{"value":{"amount":"+0.86695766","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":"Q2819700$46BA2F2B-9F89-4948-A640-F45D45E28206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4428e4117219f67381d9095c6a8836c2388661e4","datavalue":{"value":{"entity-type":"item","numeric-id":5244823,"id":"Q5244823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23eb30d94a673b297dc2517bf8fc495f97089f27","datavalue":{"value":{"amount":"+0.85701716","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":"Q2819700$EC1986D5-B7BB-4B26-B740-767828375288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59697b996dd393937c62c1a58c8375f085a07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":1581064,"id":"Q1581064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a520715804889ae1f21531cd88f42a0f6dab0033","datavalue":{"value":{"amount":"+0.8484221","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":"Q2819700$F7E3BDF6-19E6-4B13-95C4-DC478E1774BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea58730be2e7df4995043d6b007d22265d31dce5","datavalue":{"value":{"entity-type":"item","numeric-id":4534296,"id":"Q4534296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e332f5b050e3f6351878e067d6a5fe34f930c447","datavalue":{"value":{"amount":"+0.8420111","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":"Q2819700$F66A7D26-49C4-487D-AF46-D7AA62EC224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57204648b5e1fa6303ea45319a17f5c0cdd709d6","datavalue":{"value":{"entity-type":"item","numeric-id":4537128,"id":"Q4537128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e332f5b050e3f6351878e067d6a5fe34f930c447","datavalue":{"value":{"amount":"+0.8420111","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":"Q2819700$6D68B390-56F0-426D-A3FA-4731B5E2BC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df1067f73396634fc3c5103841a0707d33107d1","datavalue":{"value":{"entity-type":"item","numeric-id":3153070,"id":"Q3153070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e332f5b050e3f6351878e067d6a5fe34f930c447","datavalue":{"value":{"amount":"+0.8420111","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":"Q2819700$31825BA2-7625-45E6-9718-BE9DDE79B31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2502ef07f19c0fc85962aaaaea20e21414c1d4b9","datavalue":{"value":{"entity-type":"item","numeric-id":4530257,"id":"Q4530257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafb4ddc7ce61161bd2f9c7f40ff27511a75af0e","datavalue":{"value":{"amount":"+0.8419094","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":"Q2819700$F4B284CD-E41D-4A25-9B32-2877C3144B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf3588aa50e3369947566ed97ffeb5d14f71336","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0621ac0adeb261bc75a66f2c6f1fd1a168f6e241","datavalue":{"value":{"amount":"+0.8327274","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":"Q2819700$6572118B-7DDC-49DF-B47E-0844DA25AB63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819700"}}}}}