{"entities":{"Q6831448":{"pageid":15517380,"ns":120,"title":"Item:Q6831448","lastrevid":84297131,"modified":"2026-05-14T19:26:17Z","type":"item","id":"Q6831448","labels":{"en":{"language":"en","value":"Amortized analysis via coalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183040"}},"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":"Q6831448$AD73988E-4E5E-403A-9FF2-85DDFDE92740","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e49f924d6ee4563f9eba5459f5e593a69be075d9","datavalue":{"value":{"text":"Amortized analysis via coalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831448$0E044BC7-92A3-452E-A37D-2CF9123B2C17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ebe7b34acf61b705dd9142e6f82658766b4bb1e","datavalue":{"value":"10.46298/ENTICS.14797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831448$77B6CA94-2E86-45D5-9F9F-A0742A71DAC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3a9483e74dc9991cca4f0bb08e037d98d058ae","datavalue":{"value":{"entity-type":"item","numeric-id":6529267,"id":"Q6529267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$F086C2D9-6FB6-4FDB-AF9B-E8A4454D85F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$33BA83A3-912E-4A9F-8342-072FE049E869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831448$FEC01086-238C-4F64-A504-C76636C9E6E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831448$CC7EA414-9FB4-4504-8E25-3E0F97507330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831448$0D44DC45-CB5D-4826-A7CA-AAA95FFC984F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10cc1e80784ce314ea23fbb620cc269a66bfd1b1","datavalue":{"value":"8183040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831448$32ABC1D5-AA33-4315-ABBF-58484F72EB78","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$090C225E-AF6D-4291-90E0-08B4F4EB65B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$0D11A60B-680D-4FC0-91C1-EFC70AF8E53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d037028d3fecc5bbab88047226a606ec81ce9edf","datavalue":{"value":"cost analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$926285D1-4E70-4FD0-97CB-8640301B3C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$8253E604-4769-4F83-820D-0B936FB54635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$0CCD4FD5-747A-433E-AE4B-71EC43279112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$ED2E8A5F-9CBE-494B-9BC6-810820D1719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7338abdd10cbbe5e408ada220215742c2bb12bd","datavalue":{"value":"writer monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$4560B627-AF08-4FA8-BDDA-91A2467377EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$3D0DA756-87D8-4CDA-952E-B3DC667ADF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$8BE46B9B-E7C9-4005-B840-D12099E6F416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b11198290d26efb16b85aa3a1575fc2bc972f3","datavalue":{"value":"monoidal adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$5B59ADE8-FF80-47DE-B273-B7BB2A68CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f10fd05a44cd1ff63ad0d037c83cec2bc09d60","datavalue":{"value":"profunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$8C8D31BD-0662-435D-93DA-95A0F9F5EDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$974829F3-62BC-4514-9CE9-C3FD9EB869DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb334cd29cfc90e840a6380261c560edc6a49f02","datavalue":{"value":"bicategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$8017B1F6-E3C2-491E-834F-308392D0B076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e9d4b21f578ea5227a1fa26b6deb3a570e954d","datavalue":{"value":"Lax morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$E9EC17AF-9F8E-460B-953E-57938AA86DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6321787ff3957a171d67612aa1366068ada02c9c","datavalue":{"value":"colax morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831448$033871ED-79ED-4FAA-904A-21380C875189","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":"Q6831448$E2EE6B47-5FF9-4341-BFDA-1DC3019C3671","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$03E820FA-8619-417E-B157-7ECBBDEB7083","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":"Q6831448$74BEE091-677C-46B6-AEDD-39A8229C4E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7cce44dcddea0c7fea27b3e9933c1569258d6c9","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$55AA99BC-B242-4EA5-A637-E1CCBB28CD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5973b1d8e11aece2be4866055f7bac4cd66f7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$92090063-379C-4A5E-A883-286295D91E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10485c04644b5ea5915162bafc50a82cbeea7fce","datavalue":{"value":{"entity-type":"item","numeric-id":6643070,"id":"Q6643070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$AE0C5118-B3CC-4A41-80B8-3E6B9573D2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57337a273b99cea6e9f105b9b3d19cffe14eba50","datavalue":{"value":{"entity-type":"item","numeric-id":5875892,"id":"Q5875892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$C93D36F2-5767-4952-AA89-450B3A1C0529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$3CC5D3D5-076A-4F86-AB43-7982D28A4C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77bdf750d0e9219fbf4b70e89bd517bebced118","datavalue":{"value":{"entity-type":"item","numeric-id":4208532,"id":"Q4208532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$3A8B6A07-5A3F-4AFD-B94A-E65F3F65CABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$0DC57FCD-4FFD-4809-8113-6229C79787D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bfcf45a4c9902450cf71fa88e47b572219d205","datavalue":{"value":{"entity-type":"item","numeric-id":816648,"id":"Q816648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$BA71D5F9-C717-4A87-96D2-DE70B1B9BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9edf74fa4c0921233a36ecec54acac6f16a136","datavalue":{"value":{"entity-type":"item","numeric-id":655343,"id":"Q655343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$B5ADC8B2-2D76-4078-9400-0AEEE75AA48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$42603F5B-8D08-46C0-94E5-D860BA27FE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d75eb4f585fc11e1f8842ebea2e157db01170f9","datavalue":{"value":{"entity-type":"item","numeric-id":670702,"id":"Q670702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$74440598-DB77-43ED-B61F-68763FD8AC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$AC3ED9E6-5176-43C5-9DD2-1408D68E8BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec60347e05a48553a732b1f0d890cf72850d24","datavalue":{"value":{"entity-type":"item","numeric-id":5415644,"id":"Q5415644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$35CBC202-8FDB-4B90-9511-62955CBF3FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f53d9231bc5ff64922d7dd218bb49071786117","datavalue":{"value":{"entity-type":"item","numeric-id":3768416,"id":"Q3768416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$7E11AC04-9B42-4683-977C-BB1436FF1D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$F6674D24-413C-4612-BD54-804B8531A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00910816ba034b6655b7a47d13d1206cc1d40ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3735083,"id":"Q3735083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$72D3432A-16B5-4663-95ED-074A31343502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17912ab9eb3c56964cfa01b6d1af3faac76a732","datavalue":{"value":{"entity-type":"item","numeric-id":2747943,"id":"Q2747943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831448$C14BAC41-0878-4946-956F-3776F9B64777","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amortized analysis via coalgebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amortized_analysis_via_coalgebra"}}}}}