{"entities":{"Q5874202":{"pageid":7903753,"ns":120,"title":"Item:Q5874202","lastrevid":97570649,"modified":"2026-06-05T15:01:51Z","type":"item","id":"Q5874202","labels":{"en":{"language":"en","value":"Taylor expansion for Call-By-Push-Value"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650829"}},"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":"Q5874202$BC473C8B-3124-4618-BCCC-246C0B1B5A8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bd3bce18c7423b277db8e1ee2655c1d8d61b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2133164,"id":"Q2133164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874202$561B6744-716F-46E1-AD97-BE1FCB56C5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7061f0dc89ea4c9e92e579c2d5bbcbdff493dc","datavalue":{"value":{"entity-type":"item","numeric-id":891920,"id":"Q891920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874202$8E22EF06-47D1-473D-925E-100346E9EC68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874202$56D0C488-021E-4AFE-B6F6-FD971349E362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874202$6B598DE1-A397-43D2-8A40-71D362DD472A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874202$8AD4D3DD-4C7A-4445-B137-4FC9C5D3B16C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cc980146110a416034e1627288457f14ed8c76c","datavalue":{"value":"7650829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874202$4ECDF567-1EB7-4D38-86B8-8723917E939F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874202$71C2CB0C-6FC2-4AA7-80D2-4E639BAC7369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6557f96c7331af6f8acbd886ca6331ad8977db4e","datavalue":{"value":"quantitative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874202$B5C324B2-DF0B-4911-982D-1E7F7E281BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116c849df5352d47ba67bcc2e3bceec8b5fae443","datavalue":{"value":"Taylor expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874202$14FE8C4D-90FC-4D9B-B78E-DB6214CB190C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874202$BDF0A5C6-8708-4B84-9EBD-B16043FF1EBA","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":"Q5874202$33EC0873-1578-4446-8DB5-A55FD0DB38F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a857868d7d73fd267d1f1bfcea7ce675d0cbcd","datavalue":{"value":"https://hal.science/hal-02318600","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874202$98D37160-7503-4858-8622-21EEBC4C0627","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd22b81351e6898cb4535761e5e509e1d8fa1dbe","datavalue":{"value":"W4287904754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874202$70016617-024A-4319-8C78-FDA5DA526931","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e48fc60c104e256fc50e29439a6646bffb25172","datavalue":{"value":{"text":"Taylor expansion for Call-By-Push-Value","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874202$2B00321A-8C82-49CD-8B53-42DA71D872E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d520e9a5043951194c7b13e13315382818f20ce","datavalue":{"value":"10.4230/LIPICS.CSL.2020.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874202$72587DB5-E14A-4572-8F26-B9AC4C0E7C7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taylor expansion for Call-By-Push-Value","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taylor_expansion_for_Call-By-Push-Value"}}}}}