{"entities":{"Q5458392":{"pageid":7487951,"ns":120,"title":"Item:Q5458392","lastrevid":50333963,"modified":"2026-01-13T20:27:20Z","type":"item","id":"Q5458392","labels":{"en":{"language":"en","value":"Constructive Mathematics and Functional Programming (Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262440"}},"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":"Q5458392$FFB9DA9A-D4F4-418E-968A-E5BC1C98D40A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c6cf449057ba74b3ff16e710ab8570a4e46969","datavalue":{"value":{"text":"Constructive Mathematics and Functional Programming (Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458392$355B84CE-5995-47B6-B642-FEF1341AF923","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79779976eb02422fc247ea8f6eb7dcb92f745914","datavalue":{"value":"1133.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458392$D20FCF35-49A7-43A1-8338-246784F00AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f05e8b668f576fa632cb29321606af6ce278a7f","datavalue":{"value":"10.1007/978-3-540-78739-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458392$EF8B0067-7761-4727-A9A7-C177AF4C57D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$C5D4ACFD-4CA6-4848-A7BB-A7E2017A2920","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$4311A891-72E0-4F1F-8BAF-4E296F4F6DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458392$FA7A7E12-9F23-4F3D-BC2E-89B50FF8D733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458392$7E277382-F34D-4317-A188-15067EFFF973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458392$CF7007C4-0807-462E-8CD4-5F5238DFE5BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9af1fcef30fde4b17a7689124c7f9e67a2608907","datavalue":{"value":"5262440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458392$08541366-EACC-48FF-AF97-F2193FB0E13A","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":"Q5458392$B52B3EFA-4F94-41D9-8CC3-81866B570525","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dded92475c757262e5bfd90b034b0c0174adff6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78739-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458392$807DBCB4-DF62-4208-A3A1-1949A067D40F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"153a7c651bde54434337e4316dc6a059d85546b5","datavalue":{"value":"W1603355887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458392$8FC607DA-D267-436E-A13B-EBCD6802952E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f6a6893359ffbe91108962b27d4ad64b47707","datavalue":{"value":{"entity-type":"item","numeric-id":5604461,"id":"Q5604461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$12889A41-25E0-4666-BAD4-DD7CA4EFE864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774dd9a158ac7cab915084535409da92e349dd2d","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$25A3393E-918C-4270-82C3-EFD51AAF8D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7775af0dfcf78f0eb01b93b06a122479305aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":3431543,"id":"Q3431543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$A38AD01F-C237-4657-B621-F574A222BB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e89cc2a75815a4f807927dd3e16b58e1e7b08f6","datavalue":{"value":{"entity-type":"item","numeric-id":5453505,"id":"Q5453505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$ADFB0053-FC1A-40F0-AE8A-72D064CB5F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b779ecca4f2c81aa34d372723ce74f8abed7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2643883,"id":"Q2643883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$E55CF938-EA78-46EA-AFEA-E0B2EF4384B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$0DD51FF5-AB6D-4FA0-A41C-13A5E668F00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$C86D1582-BFD2-4DCD-B57A-DEBBA9C48C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$94143EFA-AB51-42D6-A6BD-72F6775ACF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$1D6D2144-67F1-409B-B5D1-C6DF87C924D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$A32CCD4F-5E26-4D7B-93D5-23641254E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390367f7aaf1bf5f1955bd4bab78a8eb5df8953e","datavalue":{"value":{"entity-type":"item","numeric-id":3431547,"id":"Q3431547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458392$7048A1FE-EF31-4565-B4C3-C287D84D4AA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd210b99f933fb9a5ea122ef5e37dabd5e33c60","datavalue":{"value":{"amount":"+0.8824955224990845","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":"Q5458392$E42CDFB4-8204-40B1-BCD0-EA64AAA21BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1881ab14e6baf8ba3d56b87c1615a47b3c65085e","datavalue":{"value":{"amount":"+0.880855917930603","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":"Q5458392$69590871-6F4F-43D3-BF19-5AB5F23AADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e7fa6c7e52d48eababebce9f9e6b6da89ab292","datavalue":{"value":{"entity-type":"item","numeric-id":3707360,"id":"Q3707360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0facdd8854e9ec291837b275e9020d6356d3d41b","datavalue":{"value":{"amount":"+0.8397834897041321","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":"Q5458392$D5399516-86D7-4D51-8FEF-CFFB90370501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204a78e8fffb62f819779a61ddfe9e8668b5330c","datavalue":{"value":{"entity-type":"item","numeric-id":4340420,"id":"Q4340420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ae4b4eddd9d091884365fd2e3ec9fdd7b08fe9","datavalue":{"value":{"amount":"+0.834949254989624","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":"Q5458392$8043F9A9-2E85-4B7F-A286-10C248807F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2371d7e39e67f9e097929f3463bbc28fc00218d","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ae4b4eddd9d091884365fd2e3ec9fdd7b08fe9","datavalue":{"value":{"amount":"+0.834949254989624","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":"Q5458392$924E7818-1149-4263-A8BF-896FB3444E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458392"}}}}}