{"entities":{"Q2968419":{"pageid":2979144,"ns":120,"title":"Item:Q2968419","lastrevid":52762754,"modified":"2026-01-23T11:06:14Z","type":"item","id":"Q2968419","labels":{"en":{"language":"en","value":"A certified extension of the Krivine machine for a call-by-name higher-order imperative language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694187"}},"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":"Q2968419$049277A2-3870-4AD5-82F6-1B88841A2DFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3b66a10ec7fdf87bf26b12575a64e350c158e58","datavalue":{"value":"1359.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968419$3B38467C-C5A8-421D-A5C9-AE7BAF1C8E88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45d85afdee5f39d36a7124eed2054401b5d977e3","datavalue":{"value":{"entity-type":"item","numeric-id":1744420,"id":"Q1744420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968419$4C762558-C95B-4926-94E1-FD161405D300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e641319c011b54f0c69b6edb09640a3dbb847a","datavalue":{"value":{"entity-type":"item","numeric-id":1744422,"id":"Q1744422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968419$9F027679-ED7E-4E43-9E6F-CC311414B07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09573ab70c9d986235750625015542077d5f5980","datavalue":{"value":{"entity-type":"item","numeric-id":1744421,"id":"Q1744421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968419$E566D5F6-F41A-4AC7-853B-0454BBFD6B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968419$5EA03782-9841-4E79-B01D-F98C2F329B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968419$C7D5CEF8-DE24-4C18-93C6-3471A623881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968419$4BFE4CE8-3BD8-4EDB-8052-AE6EC001D095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9d284fa6f7925fc345d8774ecbda3d45441cba3","datavalue":{"value":"6694187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968419$06C3FDD4-B73D-4E98-B384-083148B3125D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968419$6C7AAD74-3639-4720-A0C3-DEC20CED8915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d958ef02bdf074a60d670471cc677567c94c4a3","datavalue":{"value":"compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968419$70F610AF-FE91-4699-B8AE-B8BFFABA2D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faeb5d0135023e1eb500475334c837141ddc600","datavalue":{"value":"big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968419$40431669-345E-43BD-BD00-F24C1EA46BE8","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":"Q2968419$23C5ACD6-4315-42D4-B8EE-704241A21F99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b467f8dbc9186f23b786528f61fd0264cb476a5a","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968419$C21BD047-F787-4FB5-8452-622545636974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e813c0d5f99bcaf3414d96efde1c73adbb52fcff","datavalue":{"value":{"amount":"+0.7494005560874939","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":"Q2968419$8C74B9FD-EE9F-42C2-9A1D-BDB834515676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3006700a383e8585dd0df62b3cd61ee57d281c1","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d955639fb6ed5a82d715808c82f529933c7ceaa7","datavalue":{"value":{"amount":"+0.7409543991088867","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":"Q2968419$89BA459A-1B1E-4DCA-9012-FECCCBD7620E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f303fd2ee7371e98ef37333d2078a5990073a498","datavalue":{"value":{"entity-type":"item","numeric-id":1744423,"id":"Q1744423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d475af820c0d99dfc95709250ad95b4cf37beb4b","datavalue":{"value":{"amount":"+0.7244228720664978","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":"Q2968419$8D35EBCB-826E-4A87-A4A6-FF90A5451FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c458e70f6038dd41325747d4ffa82a543c9745","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c59cba6c1d360c9d1c720721922dff043e5fc7","datavalue":{"value":{"amount":"+0.7216542959213257","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":"Q2968419$E0BC57DF-CEC3-408B-B7DC-A3377BDD0395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b73d2c5a91c1598f4f5382f667e3592533cc05","datavalue":{"value":{"entity-type":"item","numeric-id":2464721,"id":"Q2464721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b76ddb054f3fddc2223c5af0490f93fe24955c0","datavalue":{"value":{"amount":"+0.7202340364456177","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":"Q2968419$4EF9B321-0355-4497-B22D-2DBE13C0BD9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968419"}}}}}