{"entities":{"Q4895558":{"pageid":6925137,"ns":120,"title":"Item:Q4895558","lastrevid":41100137,"modified":"2025-04-18T06:45:56Z","type":"item","id":"Q4895558","labels":{"en":{"language":"en","value":"<i>Functional Pearl</i>Deduction for functional programmers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935200"}},"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":"Q4895558$B2B69904-1B21-430A-BFA1-395D9F763B17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e61b94a1ee8287645d6c004879f82e5f42abead","datavalue":{"value":{"text":"<i>Functional Pearl</i>Deduction for functional programmers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4895558$CD669FB5-9041-4C80-8A34-2A547900BD41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a7b44128bd814a535044047a1113c96ddef8b0","datavalue":{"value":"0856.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$9257D74E-2CED-4C8D-911D-24EEFF3EBEA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1355b75523d62e5505ebfd360cad6ac9f29093a4","datavalue":{"value":"10.1017/S0956796800001726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$B0513E31-570F-415F-880D-9E6F7DABDBEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31937a23b1daf277d193bfc8f907352731153696","datavalue":{"value":{"entity-type":"item","numeric-id":699932,"id":"Q699932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895558$37E0D3CD-3DC7-4965-9F7B-A99CA5D7DDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"584e2d8ceb1ef655e84dcd8475c6ea0f981d8e24","datavalue":{"value":{"entity-type":"item","numeric-id":3766809,"id":"Q3766809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895558$EBD7ECB5-562E-481A-947A-0735C6117EE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895558$6E490195-60D4-42DA-B631-671543FF7325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ae9752aff2dd48bc096a697062a482a7ea4d20","datavalue":{"value":{"time":"+1997-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4895558$50B74A5A-A699-4AA2-80B3-5F795C5CAA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$C228DCA7-79D3-4701-ADF6-CC16B8B8211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$54302648-884A-449C-8E14-9D10C3B478FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deb30c336467cf2ad99dc1ffe4b8c40bb43e660c","datavalue":{"value":"935200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$E7C71A30-A715-4A1A-86EC-781FD9995284","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895558$BEEC523D-5189-4A82-BA72-EE8B708D5576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895558$F1579759-1C1A-469E-87D9-BD2BB4215EEB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"adab8b49763428eae8f285244700b6ce373d4b43","datavalue":{"value":"Q114116630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$A435F2E0-8E41-4A1C-AA5D-3864DD98610B","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":"Q4895558$A2EB3564-DD20-4E11-8EB9-187AD3F6237D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699425079c94ae19a8b87b1043cb6d1326a2c34","datavalue":{"value":{"entity-type":"item","numeric-id":2724155,"id":"Q2724155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895558$F077EFEF-6224-453E-ABD1-E5779551C61B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80ef50157892b9eb5ed278f447646fa8061002f7","datavalue":{"value":"https://doi.org/10.1017/s0956796800001726","type":"string"},"datatype":"url"},"type":"statement","id":"Q4895558$AD810E47-F2C5-4328-99D7-0F44FD2D7DD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ed64c4eb65ee3862997660142d0b0747fcb731f","datavalue":{"value":"W2087475091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895558$41C4235A-4CFC-4E8D-9190-DA8C377D7C75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64992174e70752a1a771882d41ef1ef6e8e61e52","datavalue":{"value":{"entity-type":"item","numeric-id":2981985,"id":"Q2981985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b67567e1d5c9249798a697463abe3ba2d76f40","datavalue":{"value":{"amount":"+0.8638461","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":"Q4895558$FFDD5416-AB82-4B93-AAA6-FE7CB808A4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b628df45b292af29af9b46a5922d1c39a380125","datavalue":{"value":{"entity-type":"item","numeric-id":5464648,"id":"Q5464648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9195e20a58ae95d04aaa24c21f6c58ca51a1d83b","datavalue":{"value":{"amount":"+0.85685503","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":"Q4895558$1729E8D4-1920-4720-8558-25021E2E3BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47498dfbd2b20afbf482f8fd4dc2077b1290a445","datavalue":{"value":{"entity-type":"item","numeric-id":2039932,"id":"Q2039932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bebe20786e2d634f6135c4e3d15a637d66eb2b","datavalue":{"value":{"amount":"+0.8555456","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":"Q4895558$4EC43BA7-030F-49CA-AE29-9D0F780A9B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721fc545035c107465228008f53e377ec084a0f6","datavalue":{"value":{"entity-type":"item","numeric-id":5244805,"id":"Q5244805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141ea9a9e010a69b5792a9a372c7c8980967eaa0","datavalue":{"value":{"amount":"+0.8512336","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":"Q4895558$EA0F1734-0D8A-450B-BDE6-04946588E4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3345b4176ef55d651a75135acd5b44c80dc2778","datavalue":{"value":{"entity-type":"item","numeric-id":3341862,"id":"Q3341862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc909ffd409e5e40140a340eecd9c82836560fc","datavalue":{"value":{"amount":"+0.849113","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":"Q4895558$C60FC45D-C00C-4CFE-9834-1B832C30DC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d44b0feaa71ca008ccbf4970d5c62cf2bb8676","datavalue":{"value":{"entity-type":"item","numeric-id":3992670,"id":"Q3992670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a016f0956097236e09039867c486310530b58453","datavalue":{"value":{"amount":"+0.84759504","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":"Q4895558$26B8B83C-A1EF-4384-BDEA-E5A7507E3BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38814beb9887128ca9647474eb6a93bc5bc442d","datavalue":{"value":{"entity-type":"item","numeric-id":4941500,"id":"Q4941500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c79f4a6268ad4fa404e9ac34128f39099e0eb18","datavalue":{"value":{"amount":"+0.8440797","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":"Q4895558$BF40CFF9-2171-489E-A027-9DD35F022F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01290aa132a6a73fdc9b31993058e60441c9cb10","datavalue":{"value":{"entity-type":"item","numeric-id":2943374,"id":"Q2943374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e689f56c65d1e0c0f6e6e2617fa5e31f907d61a","datavalue":{"value":{"amount":"+0.84231174","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":"Q4895558$BE97FB59-FA21-49D7-9B8C-615D6959A757","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4895558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4895558"}}}}}