{"entities":{"Q2936814":{"pageid":2947534,"ns":120,"title":"Item:Q2936814","lastrevid":52166654,"modified":"2026-01-21T02:06:11Z","type":"item","id":"Q2936814","labels":{"en":{"language":"en","value":"Free theorems involving type constructor classes, functional pearl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383952"}},"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":"Q2936814$2E4B9B5B-89F4-4FC4-B1FD-F57C63FB3CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dabae53385d9fa0b3d17ba7178ae4c295f20d6d1","datavalue":{"value":{"text":"Free theorems involving type constructor classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936814$0D465612-F9B0-44D4-BC02-73395653456C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25b89d147a245478e07266774fda2fba08fcf03c","datavalue":{"value":"1302.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936814$792F41DB-89FA-4DA7-B18E-5DC0B7E2F9A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45adf092256c5e1d5daaf890d06e967655e1a67d","datavalue":{"value":"10.1145/1596550.1596577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936814$2CE995CF-B7A7-499B-8D91-C3C218D89A1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936814$57E0FFE1-87CF-4890-BEC4-916978D46426","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":"Q2936814$249CEFD1-378B-4DC1-A4EF-FE536BBACD89","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":"Q2936814$72B845A0-253B-4671-8E9A-5C8E04285643","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936814$3DC30AC5-6502-4CD1-AD02-99DB8BA1CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936814$89529080-0320-4C10-9D8D-AA45E7E56F94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"520ccf4f5d4bfe2ace29c0d9e3a93782098fe84f","datavalue":{"value":"6383952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936814$CA443AB6-DF3C-4E14-970D-1E328988DB41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936814$935C0744-E028-473F-813F-60C7402B86E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936814$608B17D3-A1FD-47AA-855E-CFDE0702DF86","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":"Q2936814$99283C42-039F-4B32-8FBA-5ECF81FC8205","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d047b043d3e1f67d9b581f9ad37321460421191b","datavalue":{"value":"https://doi.org/10.1145/1596550.1596577","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936814$CF043ADB-E11E-4146-8FAD-9D698F253A88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1c08460bc3ace44f74b3307ea9850753a9f13b8","datavalue":{"value":"W2014868111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936814$01A2A32A-C2EE-4C68-8EC5-D3A741D16DF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3666f5f41a06b204cfac09cd041d4579d9c1848","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3806b30b9a8baf4c7a80e55603b3af0b5eab4a3b","datavalue":{"value":{"amount":"+0.7826026678085327","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":"Q2936814$91A729DC-9382-412C-8BC0-DE329F0A1E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79a01a22b7d3c0c7bdb205141af19f9cd5aed52","datavalue":{"value":{"entity-type":"item","numeric-id":766167,"id":"Q766167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29c4b4956d68860f4e37efab9d653feae12b575","datavalue":{"value":{"amount":"+0.7820443511009216","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":"Q2936814$D4BF6FDD-BC07-4726-BF45-5DF2FFEB2072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18bba0366feafca2f8171fd51a81cfc76309ba","datavalue":{"value":{"entity-type":"item","numeric-id":4965813,"id":"Q4965813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c218b97efe39ab6b4931229d72ecfdfecf96aa","datavalue":{"value":{"amount":"+0.7679235935211182","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":"Q2936814$EAB64C02-8722-40E8-BB6F-D78A02A5B0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9756de8234864fd25811fd82eb300fec39d360","datavalue":{"value":{"entity-type":"item","numeric-id":5262947,"id":"Q5262947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eea7d12c4b8401a19610b1945035d12520eb567","datavalue":{"value":{"amount":"+0.7651624083518982","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":"Q2936814$6265989A-1195-4311-94C5-8CDBE5651BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9216c1f97ec59433a63b73a5131ebc54d8e847","datavalue":{"value":{"entity-type":"item","numeric-id":4675766,"id":"Q4675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b77e2798511a7ac5d535f002feb2ce9beeece8","datavalue":{"value":{"amount":"+0.7462573647499084","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":"Q2936814$934E5D40-52E4-4E95-983B-7C3AF453F546","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936814"}}}}}