{"entities":{"Q3801523":{"pageid":5831429,"ns":120,"title":"Item:Q3801523","lastrevid":53233256,"modified":"2026-01-24T12:37:47Z","type":"item","id":"Q3801523","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068832"}},"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":"Q3801523$01985C99-69A4-458A-B30D-2DC003CDA370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26fd9c74aefa067b16b317bdea4412ec5fd5cfa9","datavalue":{"value":"0655.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801523$43FEC24A-84EF-4870-84B8-2E681F525738","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3801523$87679985-8781-49B9-80E9-7EE91CCFA56B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801523$EC09DA65-2F7B-4108-BF03-6ED47499651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801523$E0364D69-6CBC-4306-BC38-95D615C597B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b28b2e30c76d05ed97d1bb20da68d011ebdc19bc","datavalue":{"value":"4068832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801523$17A1C5DB-0FCA-4DED-BE19-19D1EE5D8CC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801523$606F23E0-76FA-4902-9DC3-24FCB25F60E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801523$9C041077-2819-4384-8041-47F296540055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f6b122613ab28ed1949959e76bf4107c78456","datavalue":{"value":"\\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801523$248AB83F-2407-4401-9FE4-B4C21FDFFD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafa6e1857a1ff91849d67608c135440a1dcbfab","datavalue":{"value":"Linear Categorical Combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801523$4CA27C65-7A99-40D7-967B-712DA4CFF1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801523$10DAFF0B-B4D3-41E5-B244-3C0C4C14039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458cb4af830c59b2e2e30a8b84bdf165589b00e4","datavalue":{"value":"memory allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801523$1892A4E5-B22D-4488-B718-E1D88FFEC811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e75a3a2c10c891164d6bca42b3194ae9efdc95","datavalue":{"value":{"entity-type":"item","numeric-id":975530,"id":"Q975530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801523$6B64DA74-D4A8-4E0C-A707-05C631B0526B","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":"Q3801523$5925EA62-6790-4D72-B98D-463115EC4F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeb79aa0e1d1f8fcc034c5bd741470fdee51410","datavalue":{"value":{"entity-type":"item","numeric-id":3805878,"id":"Q3805878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a0370c83061437313a5604e3d8a4e2015d05bd","datavalue":{"value":{"amount":"+0.8278948664665222","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":"Q3801523$8D846EEC-308E-463A-A354-6E766E962F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed23c855464c45295cc4d9c56333b30a017d27d0","datavalue":{"value":{"amount":"+0.7875744104385376","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":"Q3801523$3F8A23EF-425C-44B5-8E09-70F50C997BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38842c9e20001e621d11a1d8b1271d5b0180f3b","datavalue":{"value":{"amount":"+0.7733202576637268","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":"Q3801523$47F3849D-995A-4020-877F-891147CB3241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c1cc2db09994b4d434a2cfd31ca84e241d46cf","datavalue":{"value":{"entity-type":"item","numeric-id":3783516,"id":"Q3783516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497b79c55928910b9c35bafdfe02c2968ba86ff8","datavalue":{"value":{"amount":"+0.771060585975647","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":"Q3801523$D7B97B59-0C4F-4CAA-A54D-A07A158E38BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f589233839d083e5ce62673547dcd7ffbfd2d00f","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712b6c68344990c379b65c7e288a4e21881d6061","datavalue":{"value":{"amount":"+0.7618440389633179","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":"Q3801523$1081DA5F-8209-42A0-9E59-B44456F3A2A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3801523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3801523"}}}}}