{"entities":{"Q2367542":{"pageid":2378285,"ns":120,"title":"Item:Q2367542","lastrevid":46297521,"modified":"2025-12-24T12:39:35Z","type":"item","id":"Q2367542","labels":{"en":{"language":"en","value":"Terminal coalgebras in well-founded set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269349"}},"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":"Q2367542$4537A394-E31C-4D26-A1AD-0E70AC2323C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"604ece27f989d0c85aee99adb5e70acccd45879e","datavalue":{"value":{"text":"Terminal coalgebras in well-founded set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367542$1B46005C-8E31-471A-8325-F5DBB8ABC680","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5c7684b1d60a84bef3ae6a3eee39386eccd214c","datavalue":{"value":"0779.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367542$219AE1C0-6E7B-460F-B2B0-F68A801357D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4976135723a4b1f33bd157147d00e0f4e556ad2a","datavalue":{"value":"10.1016/0304-3975(93)90076-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367542$FCCC36FB-7DA2-4AB8-B70F-99F25A5246D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98927fdef2ca764d37388c9b78c07b1c49fd21c5","datavalue":{"value":{"entity-type":"item","numeric-id":599897,"id":"Q599897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$9FDF3ACA-4852-45CA-B8D6-454CC92BFB84","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":"Q2367542$A1F975B8-AF58-4A63-A64F-F81D96546EB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f751f675495473e900c091630cc88ab2aaaaed97","datavalue":{"value":{"time":"+1994-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367542$A4210026-A0EA-4986-8DED-1E3260F52800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367542$B20AD6E8-6110-48DF-9DC6-8921CFF7F30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367542$AB348C18-C8B9-4D8C-A988-0CC6929472F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af06ab6894c51a54ce45f85b861ab670933890e5","datavalue":{"value":"269349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367542$3A567C9C-53C3-4513-82AA-CCAC725456D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b70bf7822754478ae54c62eda42d3a6b3a4108","datavalue":{"value":"terminal coalgebras for an endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367542$C45B70CC-2B0A-47F8-BFE9-5FB29F02C05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be126d3f5f9d0d3a880d2efd7c1ee20c96f5b868","datavalue":{"value":"initial algebra for an endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367542$2AD6ED49-8415-416C-B3F5-4BD1F54AF8DA","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":"Q2367542$B1E61CB7-F956-4078-85B9-F5058EEA4A53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"114ccaa8d16bfbbeceb71b53c23bc9dae2da758a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90076-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367542$5A0C0357-B8EF-472F-A244-670A82812B78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"503bace1d55f228cd37002f8cc104ad2b95c75a6","datavalue":{"value":"W2081620669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367542$5217C4B7-366A-493E-9B8A-686099DB9DFC","rank":"normal"}],"P223":[{"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":"Q2367542$A18EA27E-8152-49C8-B1E7-8D4F33579377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$5FC593E6-98F6-409D-B509-AF7555A82520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$18888708-B0EC-4AEA-9A3F-806FE827AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$A2B06E7F-2E64-4BFB-90A9-BB4AC1D8E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576bfb598f5e5d861b140871836fb919fd00a035","datavalue":{"value":{"entity-type":"item","numeric-id":5598374,"id":"Q5598374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$6A171623-EBC9-4549-A571-1BEED84AB375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ee0fcef59fce8c47740626601570182cd685cc","datavalue":{"value":{"entity-type":"item","numeric-id":2841498,"id":"Q2841498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$05B02160-0034-4608-9E24-95DA29089342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367542$D5B476CA-F210-4DE0-81A6-1C436F1B0B1E","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":"d48205ce0505685ccecef96531f1603b174a2336","datavalue":{"value":{"amount":"+0.8200948238372803","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":"Q2367542$801F883A-D624-478F-9D88-0E40C7C55A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f521d55327d32c32c1ced44664d2eb3a466e26","datavalue":{"value":{"entity-type":"item","numeric-id":4719351,"id":"Q4719351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f755a6002cc82f0a25d7822dd325ba2439a447c","datavalue":{"value":{"amount":"+0.8196274638175964","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":"Q2367542$986E35C4-DB6B-40E8-A881-FCC9F7E0EA00","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":"0a04ac674ca0ad191fdbc8a85660c2be8dfee88e","datavalue":{"value":{"amount":"+0.8155403137207031","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":"Q2367542$9D55B36D-42E8-4855-921C-6D9A0E047AFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367542"}}}}}