{"entities":{"Q2846574":{"pageid":2857294,"ns":120,"title":"Item:Q2846574","lastrevid":58041150,"modified":"2026-04-03T13:57:11Z","type":"item","id":"Q2846574","labels":{"en":{"language":"en","value":"Well-pointed coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6206239"}},"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":"Q2846574$877F5A4F-205A-4B7F-A9CA-AEAFAEF2D066","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dedded67d9d80a232818e14484d2387e5d20fe8","datavalue":{"value":"1272.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$8541A113-08F4-406E-BB12-95B654A70A06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3386b6fae03c48d04518583b000a086ebac299d0","datavalue":{"value":"10.2168/LMCS-9(3:2)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$4F606B80-0A12-4E52-AC3B-8988DA44FE2F","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":"Q2846574$439C72A7-8FA7-48F9-AB39-C5F6FCD08A30","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":"Q2846574$6BA80506-418F-44DB-A793-82C8E91D6F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2846574$EB466311-19DA-4D65-B9B5-0D462C4C6CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2846574$C486FBF7-A0C9-42BF-BCEB-0F037E6CCFE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2846574$BD646E13-88A4-4DCE-BB12-D7ED5237ADE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d35d411e4bf86722d143db6d6ffe35bf7949be","datavalue":{"value":{"time":"+2013-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2846574$8C95E1C0-2BE7-48FB-912F-683BC4FD1645","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6bdd7aa832d3a2107d583600d541a83fd4a2fe8","datavalue":{"value":"https://arxiv.org/abs/1305.0576","type":"string"},"datatype":"url"},"type":"statement","id":"Q2846574$E5EE6765-1FD8-4410-BE65-12C00DD1EA9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$B508825F-99B3-49E9-B1F1-0B3056BCCCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$5FECA3A6-6DBF-475B-98A8-3C9DEEA99639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$BB442AF8-EC45-44EA-91AA-DC7EC3FEA38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$85B9CA15-37A6-4B45-8174-7197643CF6C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f3ecaf0ca6c073d269cb304decbf05d7cdaec0","datavalue":{"value":"6206239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$8344CD5C-646D-4A25-A237-F1E817997D92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72509e83cf535b4d91fae43cc7972a820912cd16","datavalue":{"value":"well-founded coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$BE185F4A-2DCA-4F8F-A706-0E64E97EF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5677e629bd6bdce15a3b97fea2e6e112cee51de3","datavalue":{"value":"well-pointed coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$D50F8E88-CD0F-4426-A9C0-C157E030AE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$5683352E-2F94-4AC1-BB58-0EB10CFE5B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$EE7AA357-7FBA-4893-AD57-DB7BF4856DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515d3916acf8c87e9d6a57eec7bd685dfb958c96","datavalue":{"value":"iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$AEA4672E-04E2-474D-A0B8-07E517701362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$47D70B1D-26D7-4409-9F64-1FED2FE97148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$CBB42FE8-8B10-452E-9C1F-3F319C360C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$29F7B7D9-6B62-4170-9216-E2348D3F666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cfab7320641965853a62ff5e5c00f87e266c99b","datavalue":{"value":"binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$0865E00B-323E-48C5-8F77-F855D53F1470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846574$548F7A13-1E12-435D-BA47-D60CE21508F0","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":"Q2846574$4CD48C0B-CB69-4270-A8FC-AAB61AA6F051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b877472e0c805283275f6418dc0090cc4690e301","datavalue":{"value":"W2002025616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846574$B9BFC409-689D-45D2-B70B-44F4595B74E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baee1c4f9d843ab69e8611eab887c6b9e77d0de7","datavalue":{"value":{"text":"Well-pointed coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2846574$90A4983D-6339-4102-A2F3-0FB3E3C4180A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60d2decf339eae4913010c721d66a5ddbd2f453","datavalue":{"value":{"entity-type":"item","numeric-id":2892761,"id":"Q2892761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0004fc3b0fb281c4f36e7bb946ac225d9b144e57","datavalue":{"value":{"amount":"+0.9722324013710022","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":"Q2846574$5167C10E-E4F8-45B2-85B6-153F4282B94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8905fe64b790e3999a33f5bbcc4e68e922a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3d3ea2581321eb0cd2f26c4654597581382172","datavalue":{"value":{"amount":"+0.7894729375839233","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":"Q2846574$875E97EF-1847-4ECF-B20D-D1DA509F133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383145027579612f57504163b196702460df9068","datavalue":{"value":{"entity-type":"item","numeric-id":4542236,"id":"Q4542236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7307479a8154b15c30919c9b9a40861926d4b20","datavalue":{"value":{"amount":"+0.7811431288719177","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":"Q2846574$576B6B95-BD0E-49B2-8C9D-F66EB994DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7118d4271998cea9b6ce1d638c0e87eb86b8e8","datavalue":{"value":{"entity-type":"item","numeric-id":2919449,"id":"Q2919449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4a101bff713601e2751a7f3707609132589d0d","datavalue":{"value":{"amount":"+0.7800772786140442","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":"Q2846574$A48DAFA7-E61A-4B0F-9A95-6AD12F9F1518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae302c7c8cb68ccbb78d6da555ec528076259841","datavalue":{"value":{"entity-type":"item","numeric-id":2200809,"id":"Q2200809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ea521310b6e2d66cea57043aee9607e4f7b1c9","datavalue":{"value":{"amount":"+0.7794387936592102","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":"Q2846574$F68B85EA-2182-4E22-A1A2-0A222FE5B485","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2846574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2846574"}}}}}