{"entities":{"Q5111209":{"pageid":7140783,"ns":120,"title":"Item:Q5111209","lastrevid":53740412,"modified":"2026-01-25T15:42:06Z","type":"item","id":"Q5111209","labels":{"en":{"language":"en","value":"Taylor expansion, \\(\\beta\\)-reduction and normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204331"}},"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":"Q5111209$72913CCD-BEA0-46B4-8163-40D5EC6B9854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a6745f286f8084725d85f43005d08a5707ffa69","datavalue":{"value":"1434.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111209$4C1FD725-B44B-4DF9-BDF8-D4BCBBDD92F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ccf0a589fb3b807ef69a799e91744fd52002786","datavalue":{"value":{"entity-type":"item","numeric-id":2373710,"id":"Q2373710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111209$FAA0F71C-18CC-43AD-8907-F7F3087AA020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111209$1FEDAE13-5305-4177-8916-E0B933D1FFE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111209$2C4B4CE0-983C-4384-AF1F-2B16A670454E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4eb4035d92c03a999974cbc88068672dbf4daa8","datavalue":{"value":"7204331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111209$3C9FE743-A10B-45DD-B08C-3AA26C3269D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111209$AFF4214B-FE12-4374-96DC-60A23355AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111209$70663653-50B5-4FE2-B319-C03DA20BD3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111209$E8FFA6E9-11DC-47D4-A45F-C0724B596008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111209$F8DAE678-77A6-4FF5-8879-9B013545A8B9","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":"Q5111209$13E2FFE4-7A88-4AF6-AC3B-19E3F4DE9B80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5157f5ba23d0e0e595517c4d3949b248d6347886","datavalue":{"value":"https://hal-amu.archives-ouvertes.fr/hal-01834329","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111209$7BC388E3-9639-4149-AE95-468EA1EF624E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bad3fd9a8eb865361683ea58178c283d741f5243","datavalue":{"value":"W2758334970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111209$0E602478-292C-4B54-9FFD-E6DD72C11214","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1474f3ad75752c9bcf6a3b8bff7f7c563d85683d","datavalue":{"value":{"text":"Taylor expansion, \u03b2-reduction and normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111209$8B0668DB-A40C-44A6-94F3-E5D3406BA5C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"715f093df0666d1108945abdd3b9e657f64ceb57","datavalue":{"value":"10.4230/LIPICS.CSL.2017.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111209$086C178D-7F22-4A8D-B062-2D0F3E999EF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2abd17cc3d47764eec2a9c181b9ea055204b60","datavalue":{"value":{"entity-type":"item","numeric-id":5227520,"id":"Q5227520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59e818e431a236e88d888c13397118cda5a15b4","datavalue":{"value":{"amount":"+0.9456497430801392","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":"Q5111209$F78C1A43-5539-4E3F-9922-CEE58754A876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45df37e4a67a271e6471192f7715c4705e86daf","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096cbfb35c0666538f88f592ee6f8613fe8a6d84","datavalue":{"value":{"amount":"+0.8493792414665222","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":"Q5111209$F01F6C65-D714-4E5E-A038-88E55B325059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22b82a20b7867aaced7f0f3b0639658f45463a2","datavalue":{"value":{"entity-type":"item","numeric-id":2958517,"id":"Q2958517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235104c5e55c905f583295431675aa0cd6924152","datavalue":{"value":{"amount":"+0.8307290077209473","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":"Q5111209$6E58475E-00C2-49D4-B010-08A18E42D4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee1f181f62f2fd23771c8e36946cffe4ee6844c","datavalue":{"value":{"entity-type":"item","numeric-id":4637628,"id":"Q4637628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb51c691c8aa89fb2d383c208f4e1aadb16e81d4","datavalue":{"value":{"amount":"+0.8222463726997375","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":"Q5111209$AFBE5A4C-C627-4B4B-A714-93D7D0D15A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ea169f545888aaf5d0fe674b531638677a7700","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29707f3a6fbc316fe67da59824c2aba8a0f5b2a0","datavalue":{"value":{"amount":"+0.8048450946807861","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":"Q5111209$214394E9-C866-4E44-9958-4C161252DCC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111209"}}}}}