{"entities":{"Q1584038":{"pageid":1594778,"ns":120,"title":"Item:Q1584038","lastrevid":47523154,"modified":"2026-01-01T23:35:39Z","type":"item","id":"Q1584038","labels":{"en":{"language":"en","value":"A representation result for free cocompletions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523642"}},"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":"Q1584038$9CD6F773-EA62-47AA-A332-58A6D6054B88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6050e3bebf5fe08777247740f30847babd7bef64","datavalue":{"value":{"text":"A representation result for free cocompletions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1584038$AE9405D2-9459-45EF-BBF8-6A701076022B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84b747707862e8fbcff0e458f0c862afc2f2bed9","datavalue":{"value":"0971.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$A809A4F8-F8D0-4646-BEB4-03FF8D5BAFFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8af54199f78d0d102b5a11dc822abd3206211dc6","datavalue":{"value":"10.1016/S0022-4049(99)00063-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$1BDCF551-2D23-44DF-9BCD-FB4153810085","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$4890B543-00A2-4672-9E9B-EFE7144EDC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae5d51a8f2f733a0d8f92003216f08ce70ad6775","datavalue":{"value":{"entity-type":"item","numeric-id":598190,"id":"Q598190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$46AD04BF-1A1B-491E-805F-8F7103862932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$B83A571A-E6BF-4F55-A140-1DA67852F9AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$00B79A74-480C-474B-B1B6-9343273CD6D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32b619a966303d6fa593d9bfbe46a08b64a9a63d","datavalue":{"value":{"time":"+2001-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1584038$C09E380A-EB83-40A0-A660-54622821D374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$473171F0-BACD-4ACF-98FD-71C8997CB0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$30417D16-1FB0-4F22-91F3-CEDBC3625D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$67AC1F95-22EF-4CCD-85F6-B55F6480B225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$1862E222-766E-4D7A-8EF4-94A436580A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$331ED42F-3A32-4451-A56C-3D4795D546AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e144be31a306faabf3c46c51e39eb5fcb957232","datavalue":{"value":"1523642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584038$44AAF3E4-4984-4B60-8923-83BCCB0566D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8579b03c1d9142b2efef810b4e54fb79745398b8","datavalue":{"value":"biclosed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$4D0FE963-8DE1-4EAE-9073-CA99FD53C910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43de79c8bd0183c1e40c1f3620271e52c3298ef","datavalue":{"value":"cocompletions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$6D95FAA9-3DC5-4991-ACF1-07BBD10EA1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9935268a10469facb9542915cd30971e42ae8360","datavalue":{"value":"\\(KZ\\)-monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$9456CA4B-C184-4C66-9D62-CA7BB32FA2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb979968d3a19381a843e9f3c241d8979897c878","datavalue":{"value":"weighted colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$0DA49A47-51A3-4BDB-B749-76F8CF4825FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5047c672998efdfa5fe66cbbdf3d08e140fd297","datavalue":{"value":"Kleisli 2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$E8B16E6C-4F21-447F-A2CC-2FA8CA37570A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$44EF8758-14C7-4E0B-937C-29A484AD8612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$7081769B-7E67-4234-838B-448FB189B0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20b43441caa20a652996828413718db124b9fe3d","datavalue":{"value":"symmetric monoidal 2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584038$185C0EA6-B36E-4600-8A74-DABC11F43266","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":"Q1584038$AA607833-79BA-414E-9B8F-804153B564E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6a28907eb6ad6ff3c9b12b38fe72df27488649","datavalue":{"value":{"entity-type":"item","numeric-id":1109873,"id":"Q1109873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$D3FA2079-45C8-4804-98F7-01149B124E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$464655C2-E53D-440D-AA16-93BF4DDF64ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea474838f3dd9b4aaf51f3836816b8973a7b42e6","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$9AE019DB-0C91-41E4-9D9E-5601AD60710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a310bc0bc6e6f2c815195ca7690c38a4720a477","datavalue":{"value":{"entity-type":"item","numeric-id":1295729,"id":"Q1295729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$11091ABF-7A92-4301-A3EB-E302C0354D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b24aa434a4958ff197c3a4373c175de86dfa4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$D1C051E0-641E-4B85-93ED-6A1E686C727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$1155C275-2B37-40FF-99E0-DA37E278A6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a195be33528244250c7da71b6a313c57e544d08","datavalue":{"value":{"entity-type":"item","numeric-id":4100669,"id":"Q4100669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$A88DFEE8-C998-4BFE-B768-42228E7E63E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$E6A4B508-58FF-494A-93AE-4782DA5F1F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$3DEC7270-46D6-4476-80B2-497897ADFE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$7218DEA5-4B2F-45BA-AC16-50DF7A809F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909993d72fefe567d67491e498a56c66e5f1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$DF530C54-6163-4E3B-A30C-1AFB3DA77259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$C10FDB8F-4CE8-4C05-B73D-A5EB8519F61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2b804bf61899331ed3cb80319b9e1347ffd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$C750D6C1-668F-4F82-B1C0-77411E29B85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$E221E48F-3CFF-4598-8309-2736A6F72EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc83ffad6b4663692dca3e0aa4064ce03f3d012","datavalue":{"value":{"entity-type":"item","numeric-id":3324131,"id":"Q3324131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584038$0D6D93FC-613D-4B14-9423-D1C2F9B4BC95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634e468c836cd70105193927b28f87829f3698a4","datavalue":{"value":{"entity-type":"item","numeric-id":904009,"id":"Q904009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c9f6a79d5b258b049888bc38517ba2b3c939c2","datavalue":{"value":{"amount":"+0.7669833898544312","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":"Q1584038$80763502-5A15-4842-84AB-5E52862B89D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575f0f2501374557d33c37871eba551ff91fbbd9","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ccb78d90dd09776880a735c293d45838084140","datavalue":{"value":{"amount":"+0.7640883922576904","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":"Q1584038$5723071E-D930-4C7E-B4BE-985B3BA92804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8469f79889978864e9a65f4781fea0ad84d01c6","datavalue":{"value":{"entity-type":"item","numeric-id":5957784,"id":"Q5957784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad08e090d180133a0c38b9d222713508b6aa2be7","datavalue":{"value":{"amount":"+0.7618117332458496","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":"Q1584038$C7987344-758D-42D5-A3F9-B7CBF56FC485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecda4b2c863841a6b264973f5c7ecb4f7a07bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2310781,"id":"Q2310781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eca8df25fe19a1861d5f33110c1a5c3a7a78330","datavalue":{"value":{"amount":"+0.7602651119232178","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":"Q1584038$4A64040A-821A-4BD2-93B0-11CCCA9C3906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0492bd821d7d780087872d5b56531b5e362d301","datavalue":{"value":{"entity-type":"item","numeric-id":1850104,"id":"Q1850104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8132fe33d7df1de2ea27f333d7b3c8d7525be7e2","datavalue":{"value":{"amount":"+0.7600620985031128","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":"Q1584038$340AB55C-5AE6-462A-959E-D20F7773BB31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1584038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1584038"}}}}}