{"entities":{"Q4580197":{"pageid":6609783,"ns":120,"title":"Item:Q4580197","lastrevid":58283598,"modified":"2026-04-04T13:45:28Z","type":"item","id":"Q4580197","labels":{"en":{"language":"en","value":"On corecursive algebras for functors preserving coproducts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917164"}},"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":"Q4580197$AF8760E7-590B-4397-8F71-C682479C5240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b3f7328581bcce94142a29fd25a0a50bb85889a","datavalue":{"value":"1436.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580197$BFF525F7-4BAD-4844-9048-7E4A3BBFE11D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580197$9619272A-136F-449D-8A9B-9A7E2DF82BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580197$F6A1B295-D5CA-48E4-AC58-5C71258BF03A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580197$2DEDADFA-89DE-4C11-B9CD-B907FEF06E3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d543f639f975ab1b9e58e07be252c4482af6c48a","datavalue":{"value":"https://arxiv.org/abs/1703.07574","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580197$30D7E6B3-9C51-48C6-A90A-857FBD6C0C2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580197$C5C6ADEB-3CB0-440B-A422-4B1C09C8D176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580197$6B5F298C-B033-4676-A0CD-0F9DD8C4B8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c06e6595ff402d06a39142dea5c321f92680c09","datavalue":{"value":"6917164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580197$29057B15-5445-4110-9A98-2FE18DFE9B2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f90fed19838d667f4d72a723bb071b204aa5fc8","datavalue":{"value":"terminal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580197$B6465360-7E5D-4309-98CE-F4F69BC7BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580197$66AAAADD-5208-46CF-A427-4EC3470A578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52cfa21b2804a81725c1c20ed121590b8083c29a","datavalue":{"value":"corecursive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580197$06241CA3-DCF0-44B1-9DCE-03C2A2DD8925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c531cbfc2910bac29b79341ac03f26aa497e749","datavalue":{"value":"hyper-extensive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580197$CFAE547C-DE21-4876-8C12-D0EE18088B7C","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":"Q4580197$614B807C-8741-49AE-8DDF-52DD894F534C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f219cacbf966f85ba506dfcfc2379cbc42ca0d50","datavalue":{"value":"W2605085197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580197$446C08EB-C190-4E62-9F18-38145D13A030","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"414fc1c0866007a2169353664f5d8cac83e6d294","datavalue":{"value":{"text":"On Corecursive Algebras for Functors Preserving Coproducts.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580197$B896DE58-A8C1-4421-B95F-4B0595F58D98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bb1a17ea0d89565292c67635d861b5cdfaaff5b","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580197$13BDEA4E-2EC4-4C42-8918-6C10C1F69758","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5d446eb8a8d5153d799ec62c5908a3c3fb8897","datavalue":{"value":{"entity-type":"item","numeric-id":1727997,"id":"Q1727997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255e2f5176c619709249746cd67a6059a041056f","datavalue":{"value":{"amount":"+0.8955364227294922","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":"Q4580197$43E6D5CE-4B07-496E-9625-670C7FEDE738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4fea76b128aa145af0c45832d3aa748a28806d","datavalue":{"value":{"entity-type":"item","numeric-id":3090860,"id":"Q3090860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d52f83440bcbffccaad6034107a1c3ab240a8c1","datavalue":{"value":{"amount":"+0.8076310157775879","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":"Q4580197$5963B710-FC89-4CE9-A86E-5B81C93477D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e524c9904a9380f9fcb86f7c5061184e0c6e16","datavalue":{"value":{"entity-type":"item","numeric-id":2921116,"id":"Q2921116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca91ab019faaff75b30542e7564c99a9aa4a86c","datavalue":{"value":{"amount":"+0.795788586139679","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":"Q4580197$4A894625-2CE5-43B0-8300-DA43A846F681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048c807ace39b7174354727fd570e72f1b70c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3651278,"id":"Q3651278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b86a50c68588a3ceacd4e1442ed3a132c893d59","datavalue":{"value":{"amount":"+0.7590109705924988","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":"Q4580197$FFB85A32-905A-4FC4-A3E9-8B5E3DC376D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9789fbaef81d7e13ad06aa957d7f2b687c25ef","datavalue":{"value":{"entity-type":"item","numeric-id":2847806,"id":"Q2847806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127d06a708af9b7c594f64337d1a995c2a416e27","datavalue":{"value":{"amount":"+0.7484107613563538","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":"Q4580197$E86F32A2-00B6-4D86-9179-BF27A5BB8ACC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580197"}}}}}