{"entities":{"Q2936822":{"pageid":2947542,"ns":120,"title":"Item:Q2936822","lastrevid":80001104,"modified":"2026-05-06T15:12:43Z","type":"item","id":"Q2936822","labels":{"en":{"language":"en","value":"Generic programming with fixed points for mutually recursive datatypes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383958"}},"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":"Q2936822$B2FC04EC-B7E9-4441-B138-7B4531DA559E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04801c6bdd74904d40126399eb4579ab44e5219","datavalue":{"value":{"text":"Generic programming with fixed points for mutually recursive datatypes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936822$004C0140-94C4-4410-93C3-21F32E5541DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ae38744479dc1882610b99e343bfc68a0be538f","datavalue":{"value":"1302.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936822$2690D46F-A817-45B2-B4E8-8B432BA854B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6466de1834a6b40229bcdce8ade835f68d7ce436","datavalue":{"value":"10.1145/1596550.1596585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936822$1E7AAD1B-03CB-4CDA-80FC-9F2A9DB72547","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3752662fe1056e7071cd483835cb487c3cc65027","datavalue":{"value":{"entity-type":"item","numeric-id":2936821,"id":"Q2936821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936822$86FD47E9-A13A-4AA0-ACE3-2415DE81624F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b70837d6e2d85f970e551e917352bd7900a2aa4b","datavalue":{"value":{"entity-type":"item","numeric-id":656870,"id":"Q656870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936822$A6264C3C-E330-43C7-AFC9-9115FA33F167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc61ec813008c90ea14b57a4907587e613769328","datavalue":{"value":{"entity-type":"item","numeric-id":923887,"id":"Q923887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936822$8EDCB9E7-7261-439F-A3EE-ED0AA0EEF82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c65fa53e00069bb8312ed2c5bca94c65b59413ef","datavalue":{"value":{"entity-type":"item","numeric-id":626938,"id":"Q626938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936822$575764A6-F23A-4851-BE21-CCD00F013BE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"304e11f28f1f8f9fec1b2f20c4f059e0c713c531","datavalue":{"value":{"entity-type":"item","numeric-id":2936796,"id":"Q2936796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936822$7710944C-C973-4C61-B84F-7DBFA4C2044D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936822$532BFED1-46B2-450D-AABA-B4408AA30807","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936822$DCCDF06A-C428-49FB-BAEB-4BD1E26556D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936822$C0FDB98A-746A-4AC3-BA03-3FBC3BBC1254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bd715c960102abd8f7830214d48328cfb5d249","datavalue":{"value":"6383958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936822$745C6165-943F-450C-9B9C-F627C83BC559","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3559559e14b6b643d292c86b33d8a610597e1217","datavalue":{"value":"datatype-generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936822$1A9F66B8-2101-4EA3-95A5-0A3BA89AC57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936822$CE8D698D-9CBC-48D3-8FD3-447116ED59DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936822$9D2F478F-152F-4F9D-9F76-355385D84181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efd25374189f2be00f80bf20e715ee3fb2e9c1","datavalue":{"value":"mutually recursive datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936822$E460ABA8-BC98-433D-A3C3-A02C798B8473","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":"Q2936822$0A7644BF-705E-40F2-A1C8-6BC11E2286CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ed3b1f3d567dade9e1b5bdac7bfd62e45375743","datavalue":{"value":"https://doi.org/10.1145/1596550.1596585","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936822$F088F77B-266E-410D-AE5A-F5140AD6291E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ba33c8fa5d777c20ab72217cd9dbfedbffcd686","datavalue":{"value":"W2167268698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936822$34D20B65-5B12-4C77-937A-633D13D4FE62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cfb3d7c318421507d0cd398b7a561e3de5e0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5178848,"id":"Q5178848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0560ec6c0a0fd30da52119f6093cf058b1e280ff","datavalue":{"value":{"amount":"+0.7476569414138794","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":"Q2936822$65AEC631-03EE-4A81-91FD-A35CB098F712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b323ff58709c24118ffb030c69472b92de60e55","datavalue":{"value":{"entity-type":"item","numeric-id":3618823,"id":"Q3618823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5420368a3888401adf502a035f3a8e5a975a4220","datavalue":{"value":{"amount":"+0.7405307292938232","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":"Q2936822$ECD571D3-81D8-4B11-803B-06330FF2532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce546d35fa127f82e19d2951006e08af4b3d780","datavalue":{"value":{"entity-type":"item","numeric-id":5187877,"id":"Q5187877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764b215eebd95dc42f1009cce77a1c5d299adf74","datavalue":{"value":{"amount":"+0.7154772281646729","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":"Q2936822$77BE7439-9331-483A-BC75-A19470765165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48608e10b9f77d78a916a917b739ae276b21eb71","datavalue":{"value":{"entity-type":"item","numeric-id":3618821,"id":"Q3618821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d9a73a66839fcdd23bbf5f8c43f1bb657ddd60","datavalue":{"value":{"amount":"+0.7112825512886047","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":"Q2936822$9177354F-C11B-44B9-BDEC-01CB1FB00FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ce7943a21a23a8d9b0653e2f31b405cdd64ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3836527,"id":"Q3836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb98c0a66c7a4633ffdc575bfe6b29ad47af5565","datavalue":{"value":{"amount":"+0.7112621665000916","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":"Q2936822$3A5FBE2F-70DF-4130-917E-1FCA4E94609E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic programming with fixed points for mutually recursive datatypes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_programming_with_fixed_points_for_mutually_recursive_datatypes"}}}}}