{"entities":{"Q6176570":{"pageid":13311458,"ns":120,"title":"Item:Q6176570","lastrevid":55470286,"modified":"2026-02-17T17:09:45Z","type":"item","id":"Q6176570","labels":{"en":{"language":"en","value":"Characterizing functions mappable over GADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7717073"}},"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":"Q6176570$788FEBE1-FB69-451C-883F-20D999E1ACFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e008f1f1840e3902a921600ac2dc92c508270fa6","datavalue":{"value":{"text":"Characterizing functions mappable over GADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176570$27EA2691-CFC2-44B2-A9A1-6CBA16542D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c3e823134c74d1d4494373ca7ad169d46db32d","datavalue":{"value":"1524.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$BA901F63-AD34-4E5A-BC8A-7730CA3D0D7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92a2dcfeec4d7bef55788e86d640bf2fec6492e7","datavalue":{"value":"10.1007/978-3-031-21037-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$7F9FBEA7-B69A-436D-8B1A-06AD0C83CB31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$45EFF870-5B36-447D-9D29-514B86A05621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c974628c810a6163ed615cc870793d0d35a9463","datavalue":{"value":{"entity-type":"item","numeric-id":2189484,"id":"Q2189484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$30798AE4-DEC8-420D-8935-45CB4513C6CB","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":"Q6176570$1ED4E162-3AE6-4B6F-970F-E3E2EA40CEF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c23e2f8c5005e57b25458422f4cd3f060374be12","datavalue":{"value":{"time":"+2023-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176570$A7C602D7-EEE4-4424-8DF3-087FF7E27327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$F7A692DB-004A-4A74-8E9C-AF8257AE4CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$50141F10-5A4B-4415-921C-CC2DA73958C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$6C68BFA9-3672-4DB2-9AB0-27AABBB796B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1ae7b5faff9b6197ed752d676c470eb2d2b5aa4","datavalue":{"value":"7717073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$7372C057-14FF-4F55-891B-0A884E792B9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcb3bff1dcbcf34e0c496835c665383873d52e3","datavalue":{"value":"GADTs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176570$78857DFC-50B7-4529-8E05-060ED4DC3BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1cde4237faa0ebedcfcedc8e753c3d18d5d2883","datavalue":{"value":"map functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176570$0180FFB2-73F7-40B3-BB38-2AE905E3DF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176570$13E2E082-460A-42EA-8C1B-BC532A32B592","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":"Q6176570$6736E584-0CDF-4837-A3B2-5D3793F78056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"121364bc1779b05a35421d63d7fc659179fc03b0","datavalue":{"value":"https://doi.org/10.1007/978-3-031-21037-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176570$E23BF6BF-F71D-4FAB-9654-EDC93BB685E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6b9e6a72246d0f23b5fede953c5b3319154dc0f","datavalue":{"value":"W4312704362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176570$1F246EAE-2228-46A2-92EC-DC32014E3670","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$2608E6B3-5E40-4627-AA1D-4A7543C7C0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$7C4E6AE6-CB95-41A1-92E7-3B0E69BE1BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$E1ED8CDF-440F-4311-8AEE-A1391BC3F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$29C913D9-1880-4A6F-BB4C-0FA158B742DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$2C1B2429-BD87-4F04-91F9-B793B8E0DE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4581ecf56db494f87c679379265efbdf03c91bb9","datavalue":{"value":{"entity-type":"item","numeric-id":1201347,"id":"Q1201347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$0D9D963C-988E-495E-853C-1DAD2AB5BB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c50d88c12dcca62e5546dce7a095534c48ac41","datavalue":{"value":{"entity-type":"item","numeric-id":3167013,"id":"Q3167013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$19159747-30AE-4585-BC37-F711602D1F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b51be60cee0eb6f5b023d5c08d16239999b302d","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$0C05D182-E693-4785-9432-0F14C96F7768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a252b526bc772a05ed6b396a0ef133a1094504ab","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$4095F63F-D2CB-4D01-ABD2-B5780682BC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328b4b366cdfa3b558000d01d83573e023c08d2f","datavalue":{"value":{"entity-type":"item","numeric-id":2871838,"id":"Q2871838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$09ADF801-A555-4E95-8974-EEDAC8613B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176570$6AB81BF1-40E5-4103-A1D4-AD9D6D06D302","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143b5e8110138b76ec32962aa3cfc3673612d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19582b4e3148b851d68670aa9202be92171e2c5","datavalue":{"value":{"amount":"+0.7022414207458496","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":"Q6176570$EDA4ED77-544B-4DB1-810F-8810DA5ABDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddfb70847a1f4d874a08a4c698b6111bb3beeea","datavalue":{"value":{"entity-type":"item","numeric-id":2985783,"id":"Q2985783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1db3483325c2c6c7f16f170465203239063d58","datavalue":{"value":{"amount":"+0.644324779510498","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":"Q6176570$0A9C27F1-DFA0-4A94-B733-0C18AFAB9B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6572870935fc214555d33cb08c49c4df242c7","datavalue":{"value":{"entity-type":"item","numeric-id":5028445,"id":"Q5028445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80eab480b1afd22cc77d8e45d889f50c85ec909d","datavalue":{"value":{"amount":"+0.6391283273696899","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":"Q6176570$3AFF2E12-DF72-4ECA-BC16-0D3FA5425E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e398ef6d2636c88d65241e4ee8a5e94d56b9ff","datavalue":{"value":{"entity-type":"item","numeric-id":5326307,"id":"Q5326307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b821375393424bf979ac282f847fdf86fc3a07","datavalue":{"value":{"amount":"+0.6385470628738403","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":"Q6176570$95941471-6E53-4670-BFFE-3C719A69CA1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176570"}}}}}