{"entities":{"Q2038078":{"pageid":2048820,"ns":120,"title":"Item:Q2038078","lastrevid":57701277,"modified":"2026-03-31T23:41:51Z","type":"item","id":"Q2038078","labels":{"en":{"language":"en","value":"An abstract machine for strong call by value"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370094"}},"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":"Q2038078$2BEB91D5-3304-4156-AE08-1BC875468E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1c9be3ebf45198337014ec8294b62908cdd514b","datavalue":{"value":{"text":"An abstract machine for strong call by value","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038078$00640DEA-D129-4BF6-AAD3-0E169E3A6DAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f357a8b14ba41d8a7c2a5263b89fcf509c85d2dc","datavalue":{"value":"1476.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038078$655D9848-5F77-43FB-98DA-2A8CF314B9AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2736638611ea8778fd72b55b4db1f4a80f1fb892","datavalue":{"value":"10.1007/978-3-030-64437-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038078$7F6A2335-62B7-44ED-96D9-3FC349B5E1AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e3f5ef123aa6f51585b85ba7e1d30c48eefe6b","datavalue":{"value":{"entity-type":"item","numeric-id":879355,"id":"Q879355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038078$5B64F6A4-9A1A-405F-9FBD-684106E8503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038078$A6FD468E-7449-4273-94EA-FAECDDF63049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038078$CAECB263-87CD-4F42-9DDF-4E39B4633605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"921d394640f4867b2e687fd3bcff8d0f7f791aef","datavalue":{"value":{"entity-type":"item","numeric-id":2038077,"id":"Q2038077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038078$B5B03B82-267F-4F11-B919-13E9140911B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038078$DEFFC9AD-9BCB-47FB-86D2-DC2E72EAB272","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcb4944ef8868d0b3880813770fd3f3e0918d3a0","datavalue":{"value":"https://arxiv.org/abs/2009.06984","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038078$7C7C2F60-D4C2-4DBE-A1EB-0476053E049E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038078$A8B493BD-7E04-4CC0-919D-3FBA97D4CF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddda19c80994620bb2bb368579649e4b09c90e81","datavalue":{"value":"7370094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038078$105FDFD7-C4D0-4ABB-8BB3-5DA76B5CB01B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038078$C517A1B1-A5CC-433F-A6F2-D82A6285D395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038078$D1A504C1-E6C6-4D16-9E83-63FC422C4F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038078$FCF4B9A1-E593-4739-9847-19A987C606C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54837e2920de4f3acef3a3ae6bd5bd00099230f0","datavalue":{"value":"normalization by evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038078$69E8890B-131F-4CA5-B3AA-4400135A5927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038078$56F0DDB7-8726-4E72-A6F0-130DD5D3CE86","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":"Q2038078$7F09D701-593C-4176-9C6E-DFBC56277DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26c9f78ff701f53463b0f34842bec896020b44fd","datavalue":{"value":"W3107124382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038078$E6E7CC65-F9D2-4195-B98E-43D3F86BDDE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617897a48b804f35ff22af9173f0320f133c7d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5089007,"id":"Q5089007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd5ae2b0c4a0a69b20f9fd7142d7770f7074d14","datavalue":{"value":{"amount":"+0.8976727","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":"Q2038078$A1947C9C-DFD1-45B6-AC31-741F5779660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541981255c88103372c1dc30533f0e50fc01091e","datavalue":{"value":{"entity-type":"item","numeric-id":5856422,"id":"Q5856422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daaa48c88707d7d2489e347f01dbfb1ceccec216","datavalue":{"value":{"amount":"+0.8549207","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":"Q2038078$250EAB90-56B0-4FED-8D0A-1F0D0EFAACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df86000dc11c8983e74e53323da7dc7b011efaf","datavalue":{"value":{"entity-type":"item","numeric-id":4217956,"id":"Q4217956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2605326f5d555d71e576a880c02b6f35a2be5a56","datavalue":{"value":{"amount":"+0.8540728","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":"Q2038078$2F5C7278-DAA3-4808-B041-FDA496588F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a460a926bb69789abf32beba28d2359c22722666","datavalue":{"value":{"entity-type":"item","numeric-id":5874223,"id":"Q5874223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2dd41dc4dcc45debd4e5f3cfb9eaa51fa3b98a4","datavalue":{"value":{"amount":"+0.85277575","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":"Q2038078$549D831D-A137-45DD-A796-855505FF29C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7cd8263db5255ef2915625ef1026ebe3900f0f","datavalue":{"value":{"entity-type":"item","numeric-id":2769433,"id":"Q2769433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339fd9c786550b8c4b4661729c4bd2bb5ed9b7bc","datavalue":{"value":{"amount":"+0.8518965","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":"Q2038078$77D0533B-3440-434E-B254-03660C7CAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ff8c7d1f7a0694e3efa341b84c5972a77d323c","datavalue":{"value":{"entity-type":"item","numeric-id":4448358,"id":"Q4448358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9f236684ed334ece3315e368ac312a1162a389","datavalue":{"value":{"amount":"+0.851865","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":"Q2038078$AEC5429A-DE5E-4749-B1E4-C369674594E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd37861f2453a60881fb457b3dfd01f77dc37a1","datavalue":{"value":{"entity-type":"item","numeric-id":4038678,"id":"Q4038678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f432e3099b398f22b5421fa29b5602b7ad6f3b5","datavalue":{"value":{"amount":"+0.8501426","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":"Q2038078$F96C0129-21A0-4C0B-A6E9-D04BE94BCA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995530fbce58947803e63e9c81a911c424ab6ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1791198,"id":"Q1791198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b53dfb1689aacf1fb784b8da16132c8ae48434","datavalue":{"value":{"amount":"+0.8501146","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":"Q2038078$CDDE2C97-6D50-4C03-B2B4-9557633EB527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038078"}}}}}