{"entities":{"Q2943374":{"pageid":2954094,"ns":120,"title":"Item:Q2943374","lastrevid":52343744,"modified":"2026-01-22T09:45:35Z","type":"item","id":"Q2943374","labels":{"en":{"language":"en","value":"Recursive subtyping revealed (functional pearl)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481636"}},"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":"Q2943374$E73A333C-80B7-49B2-8F74-502EB586501D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0131708821219ded7868356d52a36733d87edf4","datavalue":{"value":{"text":"Recursive subtyping revealed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2943374$ADB93D1F-512D-41F8-B4BC-FB316D1EFD4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f619d2802a0e0a88b9c7fee3bb7f05dcf88708d","datavalue":{"value":"1321.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943374$60849A6C-6525-44CE-9E5B-0E0A52105796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc4754c6a0744845e93193b6fcd1bda99732149e","datavalue":{"value":"10.1145/351240.351261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943374$2FE4C105-80F2-4CFC-9EB2-5D056F41CF47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7123b3d6f0980e9a2d61bdd2eb3ae45d2eebf5","datavalue":{"value":{"entity-type":"item","numeric-id":2943372,"id":"Q2943372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943374$D8088FC2-F9A0-4134-836B-6FC9B0D0FEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9802f9daf438f51cdad07c195af90035e8d17f47","datavalue":{"value":{"entity-type":"item","numeric-id":2943373,"id":"Q2943373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943374$07067EDC-5F0F-4EC7-95F9-B80D99633E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943374$398EA8E0-483C-4195-8C2C-AC3B188FC7E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b87d3662b9ecc426ec2dd6fbd6bb4649720ef991","datavalue":{"value":{"entity-type":"item","numeric-id":2943354,"id":"Q2943354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943374$37A7912C-6B8B-4B51-8441-E8A0CE6BD0B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2943374$E9146FB2-4295-430B-BB02-5F392C9B8D0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943374$998755FE-3514-409B-B0E3-44881563ADC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943374$CBDDD5B6-C2B6-4BEC-8C11-FF3ED9063F17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f479a6e3ae5e36e84ef8387415a56c7dcd811f8","datavalue":{"value":"6481636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943374$0CF91E48-BD0F-4836-9A57-119FF4BFD402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6bc420b4de8d5794872377a75161450725d4ae","datavalue":{"value":"tutorial paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943374$AE7E8140-CC7C-4CCE-871F-71E6F6A3F82C","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":"Q2943374$752EAEA1-36A3-4F97-AED3-B1D827AD3704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8116a7b491599ad68c61aed1cefd198798749c77","datavalue":{"value":"https://doi.org/10.1145/351240.351261","type":"string"},"datatype":"url"},"type":"statement","id":"Q2943374$843B67F5-AB16-4AFC-A3FA-392B4D102DE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa557784d16f5f626fe1be77a1a0874d12500a18","datavalue":{"value":"W2029791960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943374$71B742F5-C091-42E6-8470-584CFE7E82D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e519c12e13a98e58aa84386b746b0088886c0173","datavalue":{"value":{"entity-type":"item","numeric-id":4709841,"id":"Q4709841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109afe3e6fd2014081429df1f261ddb92dfdfaf3","datavalue":{"value":{"amount":"+0.9843672513961792","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":"Q2943374$6F101A9B-F498-4B74-A397-C46937E1B1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf628d97675155cf4264d9db17543f83fc483b3","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4d3deb1d72743d7a0f8fd73586715c7589dd14","datavalue":{"value":{"amount":"+0.8047669529914856","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":"Q2943374$72543812-E789-4A84-AE7E-8E5FA62AD5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db87dd978af34a06ed490bec7c1b4734f165f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1854490,"id":"Q1854490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4d3deb1d72743d7a0f8fd73586715c7589dd14","datavalue":{"value":{"amount":"+0.8047669529914856","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":"Q2943374$1661DBDB-623C-4FC8-99B0-667B89067086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb809402d697e2121d3f8072f5a8d478fae64b0","datavalue":{"value":{"entity-type":"item","numeric-id":1780453,"id":"Q1780453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bca521fa9c62d4a929a4dec64fb4c41ee5f3a6b","datavalue":{"value":{"amount":"+0.7905970811843872","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":"Q2943374$4F931746-4B48-4247-B82B-E1047830EFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d030a03a5114255069a05abe495b45a01bb27db8","datavalue":{"value":{"entity-type":"item","numeric-id":4645810,"id":"Q4645810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0685cc295b9959228587fb3231922c616cdb5c5","datavalue":{"value":{"amount":"+0.7774743437767029","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":"Q2943374$FE3E6BF6-66B5-406D-B68A-C7F321E8750E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2943374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2943374"}}}}}