{"entities":{"Q6061877":{"pageid":13196032,"ns":120,"title":"Item:Q6061877","lastrevid":94009343,"modified":"2026-06-05T05:39:38Z","type":"item","id":"Q6061877","labels":{"en":{"language":"en","value":"A concrete final coalgebra theorem for ZF set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774802"}},"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":"Q6061877$487540C2-290F-40B1-8A6B-1574C20E47E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"561c5b405aba0e99bdb0f7d31dda506a21905ae3","datavalue":{"value":{"text":"A concrete final coalgebra theorem for ZF set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6061877$F1477D11-7972-4CAD-9286-9414C6F3DA9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5cbc3845cbf0ae155998b16447deeabf7e72c55","datavalue":{"value":"1530.03152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$781D0D8A-C292-40E0-8DD3-53F2BFFFEA75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39d0834687944c3ba6279da68a023b46ebc775d3","datavalue":{"value":"10.1007/3-540-60579-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$33152F02-7E54-406A-A0E9-2ED14009C311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$55FD64D9-BF9F-40AF-B001-F2DBA4105C27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$91370197-2E1D-4A3F-87B2-1188B4B54C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6061877$0896AA0A-E476-492D-916F-CC1FC66C90F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b1016f3245e8a803e53fbf6364b8378054baee0","datavalue":{"value":"https://arxiv.org/abs/cs/9511103","type":"string"},"datatype":"url"},"type":"statement","id":"Q6061877$01810EA1-2376-4487-AD6B-4C9B21E45250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$86078D87-02AB-4FEA-ADFB-697E62BCAC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$0685BEF1-C83C-4E84-B9B2-3E404B3435CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$0D270924-5AB5-46DB-A62C-3F67A1DE7FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$11DD894D-E6F3-4C44-B2EE-51FA1D5106E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f709707cd821ff77616f3a1567a379756143230","datavalue":{"value":"7774802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$43D66EB0-3176-46F0-AD82-8F13E22FF58C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa14520e718e2fc78bd128d32dc82bce8697d046","datavalue":{"value":"variant function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061877$719F23E8-31E8-4345-88BB-A533B63689C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"069678fddb550cd39624ee872a7f74a9f449e2e4","datavalue":{"value":"identity functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061877$E3059A14-E61E-4605-B841-7A74C96DD99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b51a52215acf828579264d170cd64e79e27652","datavalue":{"value":"foundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061877$FB695B72-85F6-479A-8981-3A86E9D5D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c60fc6c894016b42326cccd386f78134956ad54a","datavalue":{"value":"cumulative hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061877$ED18FD4C-DB06-4F92-981D-E453B8A0619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9389ae12e01d8af4be45480dad1535b85784a6","datavalue":{"value":"substitution lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061877$E21D2723-4BE9-4B11-AAA1-0DDDF09A04CC","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":"Q6061877$8020F696-FE8D-4E7D-832D-842A2511F009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc3501a2d644bc845b6fe35ee1d287484500fe33","datavalue":{"value":"W1607226358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061877$A6021569-B492-46B6-8D2B-53CDDD6C577A","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":"Q6061877$944EBE80-F89F-4589-845A-114D05DE7376","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":"Q6061877$1278B686-8425-42F1-9988-202A22F35119","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":"Q6061877$5E5BDEA5-E2A0-41FE-AD13-17425A9BD17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$EA5E3603-C3C0-454C-8845-F4FEDD906E84","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":"Q6061877$FDF15E9F-E5DA-49FD-A913-0552ACE86708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$2B0328C9-9E58-42B0-8D59-F9BFEB5145B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$E72D60F3-DBC6-4A4B-911B-6F0E44DA6735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$519BBDE9-55B0-484D-949A-C0C1B5616706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f52a135fa2cb9ae673692293b0336967bd5b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061877$4DBB146E-E2E7-4759-BAB7-8AF5E83A9DEC","rank":"normal"}],"P1643":[{"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":"a416cbbb5f616dfced2c8c660177feab1f97c8d1","datavalue":{"value":{"amount":"+0.93194675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$DA9736C8-D44E-440C-9D37-8F99701D6C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1960b77668413cd28171247b0126f3468251ea","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c379151c47b4a58cf66da59d52ba2b1b21d3560","datavalue":{"value":{"amount":"+0.9169766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$78DE5A68-C6EF-48D9-AF9D-36F30F726C73","rank":"normal"},{"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":"1066d8d6bf9f523233d89d78402fc09c04143cc0","datavalue":{"value":{"amount":"+0.9128607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$566FE26A-EE2F-43F8-B78C-95E477DFF6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d46ca4ffabbd6f34b2eccc4e47b23c9d5f7e72","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ad271976f3ae459e51ca02749d67d4a7bf95af","datavalue":{"value":{"amount":"+0.9032014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$746EB450-A070-4E8C-AE04-9CAE50BF5AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc0892a05855d76fbf8be4b67afa5da0b83e248","datavalue":{"value":{"entity-type":"item","numeric-id":3744343,"id":"Q3744343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2200c6b03ace1c2809e5efb1ffe02fad21f01b0d","datavalue":{"value":{"amount":"+0.8902984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$02E8F239-3A96-4CBA-870F-203D0E738929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b4ea4ace7b4e54ea3af487f249ec02af24e4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b104934b465a0d04dea124f8d7633f02518984c5","datavalue":{"value":{"amount":"+0.8869903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$513CA318-1E0C-4D96-A114-918903554081","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":"9f88fae58377b09778eeda796841b9fee201ba50","datavalue":{"value":{"amount":"+0.8869487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$078F87D9-BD10-4E36-AF33-AF505381DF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baab9c3669e1a1efcd38052ec4473f18f3c7054a","datavalue":{"value":{"entity-type":"item","numeric-id":6159938,"id":"Q6159938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f2fdfd423e45ba6e29e2895fb219e4992552fd","datavalue":{"value":{"amount":"+0.884975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$3D1E14C1-9CE2-40F3-A374-EACF5E0C7D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f03e6138c96509ae96df2fcc1da229738738495","datavalue":{"value":{"entity-type":"item","numeric-id":5275353,"id":"Q5275353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2979555f366f038c8fc243fabb8a63c4d1c3200","datavalue":{"value":{"amount":"+0.88204515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$551823B9-874F-4377-ADD8-B2FAD3F72A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2092672f474afccea5ec4867f28aac4cfe6125b4","datavalue":{"value":{"entity-type":"item","numeric-id":5874220,"id":"Q5874220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f019c57880a890fc48a85cee1bf9bf05295dbf7d","datavalue":{"value":{"amount":"+0.88176453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6061877$DAEB10D0-ACFA-4A96-94DC-036B09EA9690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A concrete final coalgebra theorem for ZF set theory","badges":[]}}}}}