{"entities":{"Q876383":{"pageid":878231,"ns":120,"title":"Item:Q876383","lastrevid":65020734,"modified":"2026-04-11T23:47:11Z","type":"item","id":"Q876383","labels":{"en":{"language":"en","value":"Non-well-founded trees in categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144415"}},"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":"Q876383$A6F3118C-1051-4F67-8728-2448BA741D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1e3c0fa53e9d3e60d421b2dda9f8a376375a11e","datavalue":{"value":{"text":"Non-well-founded trees in categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876383$616EB69F-2402-4943-9B24-FC2F963487F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e74a7371211b79d3ae86a817def0f4d1f27c6f2","datavalue":{"value":"1166.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$00FE9A7C-421C-4C6F-BBB2-03A55DDBC350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$063B8552-F630-4A0C-B98D-E421C51CC835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9b6e77322c8d3b850be1ea8c25330824a839f8","datavalue":{"value":{"entity-type":"item","numeric-id":876382,"id":"Q876382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$D2C1FCBE-4565-4491-B54D-25EDA196FE7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$71DF153E-46E8-4993-BF4F-20F665205623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f339c49c589764265da0f7de34a17b3e7a78e06","datavalue":{"value":{"time":"+2007-04-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":"Q876383$DE93EC1E-23D1-4561-8787-A77BC462BEC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"529640ae77348bd4c441c9d631df96c4765ab7d0","datavalue":{"value":"https://arxiv.org/abs/math/0409158","type":"string"},"datatype":"url"},"type":"statement","id":"Q876383$AEDF44A4-7E6F-4968-8E66-46756E3B6DE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$75D04F38-6FD6-45DC-81CF-89BF3D1666A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$BAD7FEC7-14DB-458F-84AD-BE9D0A5BE7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$7A960724-AE5F-4FC1-A9BF-4DBBB530DB25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"566e02db20585d5cb1245cc7db44fea141f58e6f","datavalue":{"value":"5144415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$972ED1E7-F26F-4F4A-9852-C1C030DF5EE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c19808000985798dae4dbbfc0428d9167ac10e","datavalue":{"value":"final coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q876383$B380346E-FDAE-43CC-9B2B-33F1FDBC4C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d91f37300fefb1d68328fbbbfc6d59c0ed1c7fa","datavalue":{"value":"non-well-founded structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q876383$9B1B9D0C-2BC9-4327-AEF6-AA0BA70D5F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q876383$FF79E37C-65D8-45BD-AFB5-4213FBCB77AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q876383$68B94FBF-3000-4432-B453-B677F1FEE94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q876383$184C0474-7E55-4CD6-A41C-7E94ABE0815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q876383$C546FD38-B3A5-4BC6-A4E1-2F0B16C403C1","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":"Q876383$F14A620D-310B-491D-BD3A-FEC57B630C29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3d26594bb68428550e386749072f032a63a6dc7","datavalue":{"value":"W2032698723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$3716369C-E72F-4B98-9590-6AA635F7E1B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$B8695353-6D41-4095-88A7-867279CBECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$A366BC8A-2145-4ACD-967B-A4949BE2939C","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":"Q876383$B68EB38B-CEE3-4421-9E3D-84C2959051A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$1229CC1A-EA25-4005-8D10-CAA6750C9C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792d2ca0d2690e86d04df49a88e97b495821a08","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$416973A9-A442-4711-A3F7-CB2948986026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46647a1b1c0ace5f68320ac3333d55769fd925f3","datavalue":{"value":{"entity-type":"item","numeric-id":5422303,"id":"Q5422303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$94C21B54-0D71-43FF-A033-F7973B769D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cc32b21dc8872c0b3b65bfdcc675040e836d55","datavalue":{"value":{"entity-type":"item","numeric-id":4256316,"id":"Q4256316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$10EC003C-2DA6-4334-A2D9-E56A0C95E093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$C0D73EE6-F2F7-479C-870A-6F2D70283355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b483f152f7b3f655ace4889992b2253e24f31d","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$8E3D951F-954B-41C3-8526-789881206A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76477425fa779ef9d92f72720735da571551d798","datavalue":{"value":{"entity-type":"item","numeric-id":3328538,"id":"Q3328538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$3B8497CB-A90E-462A-8391-638E0F73076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf53c4406c0ae34a2078a3b4fd0b58da5333362f","datavalue":{"value":{"entity-type":"item","numeric-id":5904544,"id":"Q5904544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$79513D75-8FCE-4C4A-84F7-EE9A7A2412A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$FE6ED813-5D52-40AF-9D64-744AABE2AA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$D053532F-7632-4B89-A310-3C2F675186E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$F174229E-6BED-4EBD-8AA3-DAF9D89246A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$DB1B499D-FD5A-4385-8F2C-E8DC21A35168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$3B288653-8A8D-4FA0-B409-AE45741EA66D","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":"Q876383$2A1DDA8E-5483-4491-9E18-9176D9FCBA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$C78A47D5-5AEB-4FBB-A887-89C2CC32A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$AAC00558-2BA0-4716-87B0-4EE96589F957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$7BFF60E1-CDA2-4768-9E79-4A0CF9FAD767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33165e9ecfdb2151c42309efd1e2f466399eb45","datavalue":{"value":{"entity-type":"item","numeric-id":4453639,"id":"Q4453639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$52190D33-3D3A-46A7-90B9-2EA9CCF690A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c487167dc7e450711745c5f9d5a8a9671935310","datavalue":{"value":{"entity-type":"item","numeric-id":4663837,"id":"Q4663837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$7274C94D-92BB-490A-996C-9E3ECEBB12C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59832ba6bcb7437ede80766f78dca7934a3cdc9","datavalue":{"value":{"entity-type":"item","numeric-id":2843736,"id":"Q2843736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$F7626F9C-BE7D-41E8-9B0E-53753529BBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4985d33d77c7dc23c39c4b36a8af3cf54c4dbf90","datavalue":{"value":{"entity-type":"item","numeric-id":5655524,"id":"Q5655524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$2E99000C-D9F4-4944-A6D2-0CB12CDEEEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876383$394E626B-4060-4AF1-9AD0-001B8BF9C08B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55646540ae2bea8d1ff6e4f2fd975d52fa3e69ae","datavalue":{"value":"10.1016/J.APAL.2006.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876383$8686AF6C-4B27-4288-8B49-6BC8BBF19F71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55e8422c4646886d1be78c0a85106d8e8128572","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d613c880aa0abf64ab2c8b54fcd426eea5bab054","datavalue":{"value":{"amount":"+0.7780687808990479","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":"Q876383$46AA3255-B651-46AD-843E-191DEFDCBB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8566adbb549e2372357dd3d29a09664dc4bb6a81","datavalue":{"value":{"entity-type":"item","numeric-id":5422303,"id":"Q5422303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16a7b0dc0d0c372185a37b7f91ad57b9fe22027","datavalue":{"value":{"amount":"+0.7537661194801331","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":"Q876383$794F91CE-39A6-4576-A6CD-0AB51533C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32a6a8b2fa1d923041153544028775a1677249a","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb94df14787f13e61f5d3c5a6ac53ff645c0365","datavalue":{"value":{"amount":"+0.7533518671989441","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":"Q876383$A9F26ADC-ECB0-4418-AD32-E7043A813415","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":"b2a791a5ff4238f5c59477fc88dbc705d41a7a87","datavalue":{"value":{"amount":"+0.7432858347892761","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":"Q876383$93D2DFE6-AC63-4CAB-90E3-5BF095BE0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e6abb7322519c47645f624de60e94c9ce4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0079707a77e851e0d03f8e590b22a55e088f294","datavalue":{"value":{"amount":"+0.710107684135437","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":"Q876383$3BEA67B0-94CD-4E65-841D-EB695FC03A04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-well-founded trees in categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-well-founded_trees_in_categories"}}}}}