{"entities":{"Q1575951":{"pageid":1586691,"ns":120,"title":"Item:Q1575951","lastrevid":67939023,"modified":"2026-04-12T20:21:32Z","type":"item","id":"Q1575951","labels":{"en":{"language":"en","value":"A small final coalgebra theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495224"}},"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":"Q1575951$CBB8863E-14C3-417F-8947-F1953D59125E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c2846ad1682f714d6174151f3c026b0ea2bed6d","datavalue":{"value":{"text":"A small final coalgebra theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575951$C99A55ED-218A-407F-A984-F144A947071B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2796764fde9be1ffb8893f52e7e2b7d730f7ef2","datavalue":{"value":"0952.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$0DAF4F50-EE74-44B7-B228-A798E635887D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b28033ba68313b8d5e39d671c0e86eed57b2b13","datavalue":{"value":"10.1016/S0304-3975(97)00302-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$4BE50B57-50E3-4FB6-B9FA-E8714A102B78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61c76c7b3527a3b135cd1d5c3feb577e0722a96","datavalue":{"value":{"entity-type":"item","numeric-id":406460,"id":"Q406460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$3DB183AB-B1D6-4AEC-ACDC-9FB679390A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e09a012a2c851b10b56f3d77bf2462ca4d80a1a","datavalue":{"value":{"entity-type":"item","numeric-id":1278078,"id":"Q1278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$7C0D095C-AE0A-47C2-B0F2-D77F17CA366F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$66267323-BB35-4538-A7B9-F700D8597829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575951$025D6B21-5A6D-4152-9946-95316B14364C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$3EB57973-EA1C-4273-AE1A-EFCFC3E59C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$065A700A-06EE-463A-AF13-1D91DCCFD270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$1BB08EC0-717F-45DA-8C10-304313D0B584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$B38BABE2-D30D-4053-9318-E58DC5D2FBC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04786b08ed74130c458f70a1b715865e6dbc684a","datavalue":{"value":"1495224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$33F5975C-4753-412A-B014-B9E95223DA53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c19808000985798dae4dbbfc0428d9167ac10e","datavalue":{"value":"final coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575951$E0B895A7-33BE-4052-AB3B-D66097E40093","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":"Q1575951$1EB05A9D-3E02-49A3-A623-63A5AF1399FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$C1B62721-CF72-47CB-BC67-46BAC1EE6320","rank":"normal"},{"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":"Q1575951$79D19B06-70C0-4051-B7DF-D135A8F2CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$49F0635A-7A76-4906-91F2-868D8B7B38B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$A432E44D-7FB3-4D15-B082-7114D04CC043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864d91fe6aab8e3488b88c4055ba59987a217b41","datavalue":{"value":{"entity-type":"item","numeric-id":5096284,"id":"Q5096284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$42735289-A6D5-4CC2-8D7F-9384441DE2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$91795307-4778-4562-88B2-91E3D66567A2","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":"Q1575951$B1F5A069-1111-457D-AC1F-6E25C70AB3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afca6a0bfe95374e05775132ba6a5aacdd8086f8","datavalue":{"value":{"entity-type":"item","numeric-id":800736,"id":"Q800736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575951$967C7339-DFAE-4BC3-A90E-2314EA70721D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95bb9be5060c3bbe9c8f77634e4d54a95302b7fa","datavalue":{"value":"Q127564727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$232FC88C-9ABA-4AE8-9321-7CCBA3903ECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1144726ce709a58a3d1b99eb3425550717b9ed2c","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00302-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575951$25B4A72F-600F-4AB9-A550-9EA2A3B18470","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b94c5a442370ca4204bf5df2711c53247104d539","datavalue":{"value":"W1968710902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575951$35357EDE-E0F2-40BD-B015-9CDFC30F1BBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A small final coalgebra theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_small_final_coalgebra_theorem"}}}}}