{"entities":{"Q4409159":{"pageid":6438758,"ns":120,"title":"Item:Q4409159","lastrevid":41155730,"modified":"2025-04-18T13:25:22Z","type":"item","id":"Q4409159","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1942459"}},"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":"Q4409159$72D9C09B-41FE-4527-AB4F-DA30DAE496FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6890f4756808d64eab4ad50ea656c83815c2e40b","datavalue":{"value":"1019.68519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4409159$FB467D18-DDA5-47B4-BF32-BC3D18518FB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4409159$C2D35185-2658-43E1-887D-6DFC28D96FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4409159$7DBD3CE2-C9AF-42CE-BB91-EACD9A1BB675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4101504a6d0e37a5946d6cb9fc5f2100ad9f87","datavalue":{"value":{"time":"+2003-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4409159$A665841B-5889-4801-8CE8-11974D958345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41d0d869d320a4b58eae1c206495918456b99d2e","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2441/24410183.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4409159$126A7C46-5559-4A32-919C-783BD12D0CD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4409159$BE43ED80-F0BD-4A27-8853-4B0EFC20B758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c25941c85675115727ab92cfe1cd5859c605e00","datavalue":{"value":"1942459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4409159$3174E110-D75C-45A4-BD6D-B9A4D7055CDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409159$3593B632-ED6C-4D8D-801F-3C718C590499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82046ecdbc4f9ff2fa0b1a681c1b87efe4513c3","datavalue":{"value":"applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409159$1B947C0F-2FF8-4872-92C1-97D69FEC82A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4409159$2C9676A5-C5F7-4B1B-8473-4EA3657C2DEF","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":"Q4409159$00498773-E371-4199-BAE5-B9AC20FF80D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f5394b8c3e71259452e8dab9bfc09e938e551","datavalue":{"value":{"entity-type":"item","numeric-id":2847815,"id":"Q2847815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74259d005c1f2ee93a082e55b5141f67b9884da","datavalue":{"value":{"amount":"+0.8847756","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":"Q4409159$31290ABB-106F-466C-A520-269C22602FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6a1c2a751740c88e85fde805ddb9c3de42c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c2cf588143deb049bfc45bb96b41f51616f869","datavalue":{"value":{"amount":"+0.8838803","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":"Q4409159$265226C4-8719-4EF7-89C9-C9BEA1F9D906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e49efac56cb67d5bcd2de93c355c65cda5eb76","datavalue":{"value":{"entity-type":"item","numeric-id":3557847,"id":"Q3557847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d58be78995fe9a3f06114c009004a29a57e4af","datavalue":{"value":{"amount":"+0.8823055","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":"Q4409159$F9F141C6-30C4-4DE9-8191-EAD400A384CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637f40cc9ca613c3a384421c3a6abc3b6604f2a7","datavalue":{"value":{"entity-type":"item","numeric-id":393094,"id":"Q393094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d5236cb05504ee9eba1fcb8b14186b55e4d497","datavalue":{"value":{"amount":"+0.8819803","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":"Q4409159$1EA79C05-ECC2-4379-A9C1-A03F256B4578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981cb4383ec54c37367b2386b50a6bb3aea8d6f2","datavalue":{"value":{"entity-type":"item","numeric-id":3088290,"id":"Q3088290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d5236cb05504ee9eba1fcb8b14186b55e4d497","datavalue":{"value":{"amount":"+0.8819803","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":"Q4409159$1DFED518-C2ED-4696-9FD1-AC13898CFDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3345000446955fe87dcfaa6558693bffdbd6a7e","datavalue":{"value":{"entity-type":"item","numeric-id":2848669,"id":"Q2848669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d24619125727a324401ae73c945dc5ed822693d","datavalue":{"value":{"amount":"+0.87446105","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":"Q4409159$E4100772-406D-4430-A334-DBBE28CDF358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d7639b629fa58ebad7104b32f2fc763ca00064","datavalue":{"value":{"entity-type":"item","numeric-id":2503337,"id":"Q2503337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda54448c77e5cda30e2527337849185334a3957","datavalue":{"value":{"amount":"+0.8703623","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":"Q4409159$05B81294-8D88-4A79-9437-EFC2D7603F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b07a054effb01c4406dbd2e9ac3080413faeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cc4374399c67a1fe991275d01cca79e879a169","datavalue":{"value":{"amount":"+0.8691737","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":"Q4409159$1AC6EABC-6ADB-4637-B39F-9B3C2F5D04D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54363ba28eead57924acca8ee1b88904cb3c7687","datavalue":{"value":{"entity-type":"item","numeric-id":2495646,"id":"Q2495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9699c65fc385357c83e135ab6c926c3e29ed99e2","datavalue":{"value":{"amount":"+0.86637044","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":"Q4409159$A00F4BE8-A12A-46BC-9EE6-10036D682B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f99dc52b1e1c275cec240ada5c0f64286766e54","datavalue":{"value":{"entity-type":"item","numeric-id":5688910,"id":"Q5688910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b20424cfded6a5e227d4fd68be5fa8d9723c87e","datavalue":{"value":{"amount":"+0.86545944","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":"Q4409159$9373719D-EA01-4256-87AF-2755CA67D922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4409159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4409159"}}}}}