{"entities":{"Q5096269":{"pageid":7125845,"ns":120,"title":"Item:Q5096269","lastrevid":54382205,"modified":"2026-01-26T17:53:26Z","type":"item","id":"Q5096269","labels":{"en":{"language":"en","value":"A final coalgebra theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572051"}},"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":"Q5096269$E5B62D0F-A71C-4C40-8384-D298D74751F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d53aa0ec390b5e1068f021933258b94679b520a","datavalue":{"value":{"text":"A final coalgebra theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096269$FFCC23D5-731C-4731-9671-D788EE4B6777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c909e4061d715bef01378254a2af24a207b04a86","datavalue":{"value":"1496.03206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$B2CBC330-C3F4-4BD7-9882-AA0702EED24F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828127614e1e8bf8a1bb479b3284a4822ec68a2f","datavalue":{"value":{"entity-type":"item","numeric-id":636294,"id":"Q636294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096269$7DDD585B-4007-4190-A5B1-DB89FC234446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbac4d6f1bc2eaa5fa96e72d560d8dc56d2bf3e","datavalue":{"value":{"entity-type":"item","numeric-id":2639841,"id":"Q2639841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096269$B09B8E73-4EF7-4A78-BD07-4209113C78EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096269$3B235686-F588-42AF-91EC-03701268E571","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096269$D1A4FFA4-F336-409D-A2DD-E0C4B185AA4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$A881D061-9671-4D17-BF03-BAF5F53074E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$C5F33F88-BBC9-45D8-A09F-810DC9EF04B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fda3cbf79db8ccdba127b90a80aaf2bb3b5e59b","datavalue":{"value":"7572051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$57279CEE-6985-45B4-96C8-2A8D4FF1004E","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":"Q5096269$E9422EEA-A193-4FF9-B114-B0EA82856C65","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1a4a4fa83ded125682bddaf2e5a04a521c5ee83","datavalue":{"value":"Q56579621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$A7CE3803-D05E-429D-98F1-882F8636EFD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096269$F16DB8F4-5417-4B0F-81C4-D6B644A2DFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096269$83F6F481-6015-47CB-8194-88A5083563B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f74e646ebbebc7f4fd64f29f4912a80e1c1f822","datavalue":{"value":"https://doi.org/10.1007/bfb0018361","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096269$B554FD96-E695-4373-A5DB-F3E9919CD350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c70d23a493f543bc477562dda794a67a1dceb1bf","datavalue":{"value":"W1543688617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$A7B8F9FD-EDAA-42BD-AC8B-58FBBED68982","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4fcd14eee436135adeba86c2f1d50a9fd0e55061","datavalue":{"value":"conf/ctcs/AczelM89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$C9C8BA37-A547-498A-ABEB-F7C31145D59C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"776926ed42d29fd3d81f939550a3e6fbd6582925","datavalue":{"value":"10.1007/BFB0018361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096269$C165C68D-ED06-4FF9-ADC4-DA6A584F1542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0afe3fbd1ba0215f6ccab0878712a4e965588d","datavalue":{"value":{"entity-type":"item","numeric-id":5462661,"id":"Q5462661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc782e5dc6d3a4f8fd500ca369b1445659169d39","datavalue":{"value":{"amount":"+0.8805735111236572","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":"Q5096269$A78FB65E-9BD4-4F92-AE5D-4CA6DBF81B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4488d56cca7069d1bdcc2668e4a35b860674630f","datavalue":{"value":{"entity-type":"item","numeric-id":2495647,"id":"Q2495647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8813a43974c3bdc889b6babb883c68d0f7b78c0","datavalue":{"value":{"amount":"+0.8515518307685852","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":"Q5096269$FD50AC3B-940A-4DCE-8ACD-AABAD1502AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642cfe664f438dc3311e65a2e788d60ea5949006","datavalue":{"value":{"entity-type":"item","numeric-id":1434346,"id":"Q1434346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a070905686f340b901d16d83aca7a60f628a284","datavalue":{"value":{"amount":"+0.8371210694313049","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":"Q5096269$BCEDDA88-4316-4451-B1E5-982C58343B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960a5c5920a999e3543ca8a33798b77f5ad3b38d","datavalue":{"value":{"entity-type":"item","numeric-id":2843736,"id":"Q2843736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5b26d3fce00420ac2ef323196763a9a3a2f98f","datavalue":{"value":{"amount":"+0.8345661163330078","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":"Q5096269$3595AF2A-9FC0-477E-95BB-DAB8A192CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970ea9cdd2f04b44cd763a66fa878d88f8057d8e","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459c1381692cfb1ecaadc106605ff5285937edff","datavalue":{"value":{"amount":"+0.8239055275917053","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":"Q5096269$EE1DD223-7B09-40DC-BF3C-EA6683EA40F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096269"}}}}}